CoRR, July 2016

Alexandra Birch, Barry Haddow, Ondrej Bojar, Omri Abend:
HUME: Human UCCA-Based Evaluation of Machine Translation.
Çaglar Gülçehre, Sarath Chandar, Kyunghyun Cho, Yoshua Bengio:
Dynamic Neural Turing Machine with Soft and Hard Addressing Schemes.
Alireza Dirafzoon, Alper Bozkurt, Edgar J. Lobaton:
Geometric Learning and Topological Inference with Biobotic Networks: Convergence Analysis.
I. Dan Melamed, Nobal B. Niraula:
Towards A Virtual Assistant That Can Be Taught New Tasks In Any Domain By Its End-Users.
Yongming Shen, Michael Ferdman, Peter Milder:
Maximizing CNN Accelerator Efficiency Through Resource Partitioning.
Fariba Yousefi, Zhenwen Dai, Carl Henrik Ek, Neil D. Lawrence:
Unsupervised Learning with Imbalanced Data via Structure Consolidation Latent Variable Model.
Layla El Asri, Jing He, Kaheer Suleman:
A Sequence-to-Sequence Model for User Simulation in Spoken Dialogue Systems.
Miao Cheng:
Fractal Dimension Pattern Based Multiresolution Analysis for Rough Estimator of Person-Dependent Audio Emotion Recognition.
Fuchun Lin, Reihaneh Safavi-Naini, Pengwei Wang:
Detecting Algebraic Manipulation in Leaky Storage Systems.
Johann Schlamp, Ralph Holz, Quentin Jacquemart, Georg Carle, Ernst W. Biersack:
HEAP: Reliable Assessment of BGP Hijacking Attacks.
Iman Al-Odah, Jennifer Neville:
Combining Gradient Boosting Machines with Collective Inference to Predict Continuous Values.
Andreas Haslebacher, Jeremiah Onaolapo, Gianluca Stringhini:
All Your Cards Are Belong To Us: Understanding Online Carding Forums.
Kim Batselier, Zhongming Chen, Ngai Wong:
Tensor Train alternating linear scheme for MIMO Volterra system identification.
Collins Leke, Tshilidzi Marwala:
Missing Data Estimation in High-Dimensional Datasets: A Swarm Intelligence-Deep Neural Network Approach.
Chunlei Peng, Xinbo Gao, Nannan Wang, Jie Li:
Sparse Graphical Representation based Discriminant Analysis for Heterogeneous Face Recognition.
Tobias Marschall, Noemi E. Passing:
Representing Pattern Matching Algorithms by Polynomial-Size Automata.
Shichao Liu, Thomas Ehrhard, Ying Jiang:
A Fully Abstract Semantics for Value-passing CCS for Trees.
Paul Springer, Paolo Bientinesi:
Design of a high-performance GEMM-like Tensor-Tensor Multiplication.
Kush Bhatia, Prateek Jain, Parameswaran Kamalaruban, Purushottam Kar:
Efficient and Consistent Robust Time Series Analysis.
Pankaj Malhotra, Anusha Ramakrishnan, Gaurangi Anand, Lovekesh Vig, Puneet Agarwal, Gautam Shroff:
LSTM-based Encoder-Decoder for Multi-sensor Anomaly Detection.
Alessandro Di Giorgio, Francesco Liberati, Roberto Germanà, Marco Presciuttini, Lorenzo Ricciardi Celsi, Francesco Delli Priscoli:
On the Control of Energy Storage Systems for Electric Vehicles Fast Charging in Service Areas.
João Oliveira, Mike Pinto, Pedro Saleiro, Jorge Teixeira:
SentiBubbles: Topic Modeling and Sentiment Visualization of Entity-centric Tweets.
Giacomo Brambilla, Michele Amoretti, Francesco Zanichelli:
Using Block Chain for Peer-to-Peer Proof-of-Location.
Alexandra Carpen-Amarie, Sascha Hunold, Jesper Larsson Träff:
MPI Derived Datatypes: Performance Expectations and Status Quo.

Rudramurthy V, Mitesh M. Khapra, Pushpak Bhattacharyya:
Sharing Network Parameters for Crosslingual Named Entity Recognition.


Stéphan Tulkens, Chris Emmery, Walter Daelemans:
Evaluating Unsupervised Dutch Word Embeddings as a Linguistic Resource.
George R. MacCartney Jr., Sijia Deng, Shu Sun, Theodore S. Rappaport:
Millimeter-Wave Human Blockage at 73 GHz with a Simple Double Knife-Edge Diffraction Model and Extension for Directional Antennas.
Florentin Smarandache:
Neutrosophic Overset, Neutrosophic Underset, and Neutrosophic Offset. Similarly for Neutrosophic Over-/Under-/Off- Logic, Probability, and Statistics.
Michael A. Raskin:
A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model.
Ying Sun, Gesualdo Scutari, Daniel P. Palomar:
Distributed Nonconvex Multiagent Optimization Over Time-Varying Networks.
Dixita Limbachiya, Bansari Rao, Manish K. Gupta:
The Art of DNA Strings: Sixteen Years of DNA Coding Theory.
Gustavo Carneiro, Luke Oakden-Rayner, Andrew P. Bradley, Jacinto C. Nascimento, Lyle J. Palmer:
Automated 5-year Mortality Prediction using Deep Learning and Radiomics Features from Chest Computed Tomography.
Zheng Wang:
Does Your DNS Recursion Really Time Out as Intended? A Timeout Vulnerability of DNS Recursive Servers.
Steven Chaplick, Fabian Lipp, Ji-won Park, Alexander Wolff:
Obstructing Visibilities with One Obstacle.


Eran Treister, Javier S. Turek, Irad Yavneh:
A multilevel framework for sparse optimization with application to inverse covariance estimation and logistic regression.
Tobias Hoßfeld, Poul E. Heegaard, Martín Varela, Sebastian Möller:
Formal Definition of QoE Metrics.
Dong Yu, Morten Kolbæk, Zheng-Hua Tan, Jesper Jensen:
Permutation Invariant Training of Deep Models for Speaker-Independent Multi-talker Speech Separation.
Antonious M. Girgis, Amr El-Keyi, Mohammed Nafie, Ramy H. Gohary:
Proactive Location-Based Scheduling of Delay-Constrained Traffic Over Fading Channels.
Ghada Zamzami, Chih-Yun Pai, Dmitry B. Goldgof, Rangachar Kasturi, Yu Sun, Terri Ashmeade:
Machine-based Multimodal Pain Assessment Tool for Infants: A Review.
Francesco Riccio, Roberto Capobianco, Marc Hanheide, Daniele Nardi:
STAM: A Framework for Spatio-Temporal Affordance Maps.
T. S. Jayram, Erdal Arikan:
A note on some inequalities used in channel polarization and polar coding.
Fabian Steiner, Patrick Schulte:
Design of Robust, Protograph Based LDPC Codes for Rate-Adaptation via Probabilistic Shaping.
Sébastien Gagnon, Jean Rouat:
Moving Toward High Precision Dynamical Modelling in Hidden Markov Models.
Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration.

Ling He, Lee Murphy, Jiebo Luo:
Using Social Media to Promote STEM Education: Matching College Students with Role Models.
Yusuke Watanabe, Kazuma Hashimoto, Yoshimasa Tsuruoka:
Domain Adaptation for Neural Networks by Parameter Augmentation.
Abir Das, Rameswar Panda, Amit K. Roy-Chowdhury:
Continuous Adaptation of Multi-Camera Person Identification Models through Sparse Non-redundant Representative Selection.
Johnnatan Messias, Fabrício Benevenuto, Ingmar Weber, Emilio Zagheni:
From Migration Corridors to Clusters: The Value of Google+ Data for Migration Studies.
Dileep Viswanathan, Ameet Soni, Jude W. Shavlik, Sriraam Natarajan:
Learning Relational Dependency Networks for Relation Extraction.
Haley Garrison, Sonia Chernova:
Situated Structure Learning of a Bayesian Logic Network for Commonsense Reasoning.
Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma:
Uniqueness of Normal Forms for Shallow Term Rewrite Systems.
Guangmo Tong, Lei Cui, Weili Wu, Cong Liu, Ding-Zhu Du:
Terminal-Set-Enhanced Community Detection in Social Networks.

Martha White, Adam M. White:
A Greedy Approach to Adapting the Trace Parameter for Temporal Difference Learning.
Ehsan Hosseini-Asl, Robert Keynton, Ayman El-Baz:
Alzheimer's Disease Diagnostics by Adaptation of 3D Convolutional Network.
Le Dong, Xiuyuan Chen, Mengdie Mao, Qianni Zhang:
NIST: An Image Classification Network to Image Semantic Retrieval.

Georges Younes, Daniel C. Asmar, Elie A. Shammas:
A survey on non-filter-based monocular Visual SLAM systems.
Shobeir Fakhraei, Dhanya Sridhar, Jay Pujara, Lise Getoor:
Adaptive Neighborhood Graph Construction for Inference in Multi-Relational Networks.
Saieed Akbari, Hadi Alizadeh, Tinaz Ekim, Didem Gözüpek, Mordechai Shalom:
Equimatchable Claw-Free Graphs.
Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara, Kazuhiko Kato:
Model Checking of BPMN Models for Reconfigurable Workflows.
Anindya Gupta, B. Sundar Rajan:
Scalar Solvability of Network Computation Problems and Representable Matroids.
Hadi Zayyani, Farzan Haddadi, Mehdi Korki:
Double-detector for Sparse Signal Detection from One Bit Compressed Sensing Measurements.
Wonsuk Choi, Hyo Jin Jo, Samuel Woo, Ji Young Chun, Jooyoung Park, Dong Hoon Lee:
Identifying ECUs Using Inimitable Characteristics of Signals in Controller Area Networks.
Jihong Park, Mehdi Bennis, Seong-Lyun Kim, Mérouane Debbah:
Spatio-Temporal Network Dynamics Framework for Energy-Efficient Ultra-Dense Cellular Networks.
Le Dong, Na Lv, Qianni Zhang, Shanshan Xie, Ling He, Mengdie Mao:
A Distributed Deep Representation Learning Model for Big Image Data Classification.
Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:
Threshold Decoding for Disjunctive Group Testing.
Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:
Adaptive Learning a Hidden Hypergraph.
Evangelos Psomakelis, Fotis Aisopos, Antonios Litke, Konstantinos Tserpes, Magdalini Kardara, Pablo Martínez Campo:
Big IoT and social networking data for smart cities: Algorithmic improvements on Big Data Analysis in the context of RADICAL city applications.
Jie Xu, Lingjie Duan, Rui Zhang:
Harnessing Self-Interference in Full-Duplex Relaying: An Analog Filter-and-Forward Approach.
Arkadii G. D'yachkov, Ilya V. Vorobyev, N. A. Polyanskii, Vladislav Yu. Shchukin:
On a Hypergraph Approach to Multistage Group Testing Problems.
Jiachun Liao, Lalitha Sankar, Vincent Y. F. Tan, Flávio du Pin Calmon:
Hypothesis Testing in the High Privacy Limit.


Jiawei Zhang, Senzhang Wang, Qianyi Zhan, Philip S. Yu:
Intertwined Viral Marketing through Online Social Networks.
Aolin Xu, Maxim Raginsky:
Information-Theoretic Lower Bounds on Bayes Risk in Decentralized Estimation.
Ehsan Hosseini-Asl, Georgy L. Gimel'farb, Ayman El-Baz:
Alzheimer's Disease Diagnostics by a Deeply Supervised Adaptable 3D Convolutional Network.
Bradley Woosley, Prithviraj Dasgupta:
Integrated Task and Motion Planning for Multiple Robots under Path and Communication Uncertainties.
Cedric De Boom, Steven Van Canneyt, Thomas Demeester, Bart Dhoedt:
Representation learning for very short texts using weighted word embedding aggregation.
Jie Gong, Sheng Zhou, Zhenyu Zhou:
Networked MIMO with Fractional Joint Transmission in Energy Harvesting Systems.
Le Dong, Zhiyu Lin, Yan Liang, Ling He, Ning Zhang, Qi Chen, Xiaochun Cao, Ebroul Izquierdo:
A Hierarchical Distributed Processing Framework for Big Image Data.
Heeyoul Choi, Kyunghyun Cho, Yoshua Bengio:
Context-Dependent Word Representation for Neural Machine Translation.
Qi Dou, Hao Chen, Yueming Jin, Lequan Yu, Jing Qin, Pheng-Ann Heng:
3D Deeply Supervised Network for Automatic Liver Segmentation from CT Volumes.
Naima Kaabouch, Aparna Dhirde, Saleh Faruque:
Improvement of the Orthogonal Code Convolution Capabilities Using FPGA Implementation.
Naima Kaabouch, Richard R. Schultz, Barry Milavetz, Lata Balakrishnan:
An Analysis System for DNA Gel Electrophoresis Images Based on Automatic Thresholding an Enhancement.
Sriram Subramaniam, Hector Reyes, Naima Kaabouch:
Spectrum Occupancy Measurement: An Autocorrelation based Scanning Technique using USRP.
Hector Reyes, Sriram Subramaniam, Naima Kaabouch:
A Bayesian Network Model of the Bit Error Rate for Cognitive Radio Networks.
Datong Zhou, Maximilian Balandat, Claire Tomlin:
Residential Demand Response Targeting Using Machine Learning with Observational Data.
Ehab Salahat:
On the Performance of DCSK MIMO Relay Cooperative Diversity in Nakagami-m and Generalized Gaussian Noise Scenarios.
Yuzhuo Ren, Chen Chen, Shangwen Li, C.-C. Jay Kuo:
A Coarse-to-Fine Indoor Layout Estimation (CFILE) Method.
Timotheos Aslanidis, Leonidas Tsepenekas:
Message Routing in Wireless and Mobile Networks using TDMA Technology.



Shenglin Zhao, Irwin King, Michael R. Lyu:
A Survey of Point-of-interest Recommendation in Location-based Social Networks.
Marion Weinzierl, Tobias Weinzierl:
Algebraic-geometric matrix-free multigrid on dynamically adaptive Cartesian meshes.
Erfan Zamanian, Carsten Binnig, Tim Kraska, Tim Harris:
The End of a Myth: Distributed Transactions Can Scale.
Gavin Rens, Deshendran Moodley:
A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Plan Caching.

Danilo Jimenez Rezende, S. M. Ali Eslami, Shakir Mohamed, Peter Battaglia, Max Jaderberg, Nicolas Heess:
Unsupervised Learning of 3D Structure from Images.
Sai Zhang, Mingu Kang, Charbel Sakr, Naresh Shanbhag:
Reducing the Energy Cost of Inference via In-sensor Information Processing.
Tomás Brázdil, Antonín Kucera, Petr Novotný:
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes.
Víctor Sánchez-Anguix, Reyhan Aydogan, Tim Baarslag, Catholijn M. Jonker:
Can we reach Pareto optimal outcomes using bottom-up approaches?
Antonious M. Girgis, Amr El-Keyi, Mohammed Nafie:
Optimal Energy Allocation For Delay-Constrained Traffic Over Fading Multiple Access Channels.
Gaoying Ju, Yongkun Li, Yinlong Xu, Jiqiang Chen, John C. S. Lui:
Stochastic Modeling of Hybrid Cache Systems.
Davide Aversa, Sebastian Sardiña, Stavros Vassos:
Path planning with Inventory-driven Jump-Point-Search.
Minsoo Kim, Moirangthem Dennis Singh, Minho Lee:
Towards Abstraction from Extraction: Multiple Timescale Gated Recurrent Unit for Summarization.
Gaipeng Kong, Le Dong, Wenpu Dong, Liang Zheng, Qi Tian:
Coarse2Fine: Two-Layer Fusion For Image Retrieval.
Nikhil Kumar, Ruocheng Guo, Ashkan Aleali, Paulo Shakarian:
An Empirical Evaluation Of Social Influence Metrics.
Mohammed Shafiul Alam Khan, Chris J. Mitchell:
Retrofitting mutual authentication to GSM using RAND hijacking.
Evyatar Hemo, Yuval Cassuto:
A Constraint Scheme for Correcting Asymmetric Magnitude-1 Errors in q-ary Channels.
Kaveh Hassani, Won-Sook Lee:
Multi-Objective Design of State Feedback Controllers Using Reinforced Quantum-Behaved Particle Swarm Optimization.
Andrea Detti, Nicola Blefari-Melazzi, Michele Orrù, Riccardo Paolillo, Giulio Rossi:
OpenGeoBase: Information Centric Networking meets Spatial Database applications.
Mingzhe Chen, Walid Saad, Changchuan Yin, Mérouane Debbah:
Echo State Networks for Proactive Caching in Cloud-Based Radio Access Networks with Mobile Users.
Malik Imran Daud, David Sánchez, Alexandre Viejo:
Privacy-driven Access Control in Social Networks by Means of Automatic Semantic Annotation.
Marcin Pietron, Maciej Wielgosz, Kazimierz Wiatr:
Formal analysis of HTM Spatial Pooler performance under predefined operation conditions.
Lei Liu, Chau Yuen, Yong Liang Guan, Ying Li, Chongwen Huang:
Gaussian Message Passing Iterative Detection for MIMO-NOMA Systems with Massive Access.
Martin Lazarov, Jeremiah Onaolapo, Gianluca Stringhini:
Honey Sheets: What Happens to Leaked Google Spreadsheets?
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data.
Laurent Jacques, Valerio Cambareri:
Time for dithering: fast and quantized random embeddings via the restricted isometry property.

Stavros D. Nikolopoulos, Iosif Polenakis:
Preventing Malware Pandemics in Mobile Devices by Establishing Response-time Bounds.

Mikael Mortensen:
Massively parallel implementation in Python of a pseudo-spectral DNS code for turbulent flows.
Tianqing Zhou:
Joint User Association and Power Control for Load Balancing in Downlink Heterogeneous Cellular Networks.

Przemyslaw Blaskiewicz, Jacek Cichon, Jakub Lemiesz, Miroslaw Kutylowski, Marcin Zawada, Szymon Stefanski, Krzysztof Chrobak:
λ-persistant CSMA: a radio-channel access protocol.
Przemyslaw Blaskiewicz, Jacek Cichon, Jakub Lemiesz, Miroslaw Kutylowski, Marcin Zawada:
One- and Multi-Pass Long-Hop Routing for Wireless Network.
Przemyslaw Blaskiewicz, Jacek Cichon, Jakub Lemiesz, Miroslaw Kutylowski, Marcin Zawada, Krystyna Napierala, Michal Panek, Stanislaw Strzyz:
A Jamming-Resilient MAC-layer Device Identification for Internet of Things.
Claudia D'Ambrosio, Ky Khac Vu, Carlile Lavor, Leo Liberti, Nelson Maculan:
New error measures and methods for realizing protein graphs from distance data.
Vinu E. V, Tahani Alsubait, P. Sreenivasa Kumar:
Modeling of Item-Difficulty for Ontology-based MCQs.
Patrick O. Glauner, Jorge Augusto Meira, Lautaro Dolberg, Radu State, Franck Bettinger, Yves Rangoni, Diogo Duarte:
Neighborhood Features Help Detecting Electricity Theft in Big Data Sets.
D. V. Lande, V. A. Dodonov, T. V. Kovalenko:
Corporate system of monitoring network informational resources based on agent-based approach.
Amina Piemontese, Alexandre Graell i Amat:
MDS-Coded Distributed Storage for Low Delay Wireless Content Delivery.
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov:
Encoding Cryptographic Functions to SAT Using Transalg System.
Lutz Bornmann, Robin Haunschild:
Citation score normalized by cited references (CSNCR): The introduction of a new citation impact indicator.
Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer:
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks.
Manuel Alfonseca, Manuel Cebrián, Antonio Fernández Anta, Lorenzo Coviello, Andrés Abeliuk, Iyad Rahwan:
Superintelligence cannot be contained: Lessons from Computability Theory.
Vahid Aref, Narayanan Rengaswamy, Laurent Schmalen:
Spatially Coupled LDPC Codes Affected by a Single Random Burst of Erasures.
Joey Eremondi, Oscar H. Ibarra, Ian McQuillan:
Deletion Operations on Deterministic Families of Automata.
Kenza Hamidouche, Walid Saad, Mérouane Debbah:
A Multi-Game Framework for Harmonized LTE-U and WiFi Coexistence over Unlicensed Bands.
Weidong Mei, Zhi Chen, Lingxiang Li, Jun Fang, Shaoqian Li:
On Artificial-Noise Aided Transmit Design for Multi-User MISO Systems with Integrated Services.
Nil Garcia, Henk Wymeersch, Erik G. Larsson, Alexander M. Haimovich, Martial Coulon:
Direct Localization for Massive MIMO.
Koosha Pourtahmasi Roshandeh, Masoud Ardakani, Chintha Tellambura:
A general framework for weighted sum-rate and common-rate optimization.

Eduardo Romera, Luis Miguel Bergasa, Roberto Arroyo:
Can we unify monocular detectors for autonomous driving by using the pixel-wise semantic segmentation of CNNs?

Silvio Amir, Byron C. Wallace, Hao Lyu, Paula Carvalho, Mário J. Silva:
Modelling Context with User Embeddings for Sarcasm Detection in Social Media.
Aurojit Panda, Ori Lahav, Katerina J. Argyraki, Mooly Sagiv, Scott Shenker:
Verifying Reachability in Networks with Mutable Datapaths.
Sergey Tarasenko:
An Application of the EM-algorithm to Approximate Empirical Distributions of Financial Indices with the Gaussian Mixtures.
Cuiming Zou, Kit Ian Kou:
Facial Expression Classification Using Rotation Slepian-based Moment Invariants.
Olaf Hartig, M. Tamer Özsu:
Walking without a Map: Optimizing Response Times of Traversal-Based Linked Data Queries (Extended Version).
Shuo Yang, Mohammed Korayem, Khalifeh AlJadda, Trey Grainger, Sriraam Natarajan:
Application of Statistical Relational Learning to Hybrid Recommendation Systems.
Chelsea Weaver, Naoki Saito:
Improving Sparse Representation-Based Classification Using Local Principal Component Analysis.
Jinming Wen, Xiao-Wen Chang:
GfcLLL: A Greedy Selection Based Approach for Fixed-Complexity LLL Reduction.
Amol S. Patwardhan, Gerald M. Knapp:
Aggressive actions and anger detection from multiple modalities using Kinect.
Travis S. Humble, Alexander J. McCaskey, Jonathan Schrock, Hadayat Seddiqi, Keith A. Britt, Neena Imam:
Performance Models for Split-execution Computing Systems.
Tianqing Zhou:
User Association with Maximizing Sum Energy Efficiency for Massive MIMO Enabled Heterogeneous Cellular Networks.
Masoud S. Nosrati, Ghassan Hamarneh:
Incorporating prior knowledge in medical image segmentation: a survey.
Corinna Cortes, Xavi Gonzalvo, Vitaly Kuznetsov, Mehryar Mohri, Scott Yang:
AdaNet: Adaptive Structural Learning of Artificial Neural Networks.
Siheng Chen, Yaoqing Yang, José M. F. Moura, Jelena Kovacevic:
Signal Localization, Decomposition and Dictionary Learning on Graphs.
Akira Kageyama:
A Visualization Method of Four Dimensional Polytopes by Oval Display of Parallel Hyperplane Slices.
Zhiqiang Wei, Derrick Wing Kwan Ng, Jinhong Yuan:
Power-Efficient Resource Allocation for MC-NOMA with Statistical Channel State Information.

Meng Fang, Trevor Cohn:
Learning when to trust distant supervision: An application to low-resource POS tagging using cross-lingual projection.
Soheil Keshmiri:
Minimalist Regression Network with Reinforced Gradients and Weighted Estimates: a Case Study on Parameters Estimation in Automated Welding.
Ales Tamchyna, Alexander M. Fraser, Ondrej Bojar, Marcin Junczys-Dowmunt:
Target-Side Context for Discriminative Models in Statistical Machine Translation.
Yuping Ke, Yixin Cao, Xiating Ouyang, Jianxin Wang:
Unit Interval Vertex Deletion: Fewer Vertices are Relevant.

I. S. Terekhov, A. V. Reznichenko, S. K. Turitsyn:
Calculation of mutual information for nonlinear communication channel at large SNR.
Jörg Fehr, Jan Heiland, Christian Himpe, Jens Saak:
Best Practices for Replicability, Reproducibility and Reusability of Computer-Based Experiments Exemplified by Model Reduction Software.
Steven Chaplick, Krzysztof Fleszar, Fabian Lipp, Alexander Ravsky, Oleg Verbitsky, Alexander Wolff:
Drawing Graphs on Few Lines and Few Planes.
Vladislav Nenchev, Christos G. Cassandras, Jörg Raisch:
Optimal control for a robotic exploration, pick-up and delivery problem.
David Novotný, Diane Larlus, Andrea Vedaldi:
Learning the semantic structure of objects from Web supervision.
Danny Dolev, Eli Gafni:
Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs.
Maarten Schoukens, Koen Tiels:
Identification of Nonlinear Block-Oriented Systems starting from Linear Approximations: A Survey.
Benjamin Sliwa, Daniel Behnke, Christoph Ide, Christian Wietfeld:
B.A.T.Mobile: Leveraging Mobility Control Knowledge for Efficient Routing in Mobile Robotic Networks.

Paul Springer, Aravind Sankaran, Paolo Bientinesi:
TTC: A Tensor Transposition Compiler for Multiple Architectures.
Jagannath Roy, Ananta Ranjan, Animesh Debnath:
An extended MABAC for multi-attribute decision making using trapezoidal interval type-2 fuzzy numbers.
Ming Ma, Zhi Wang, Yankai Zhang, Lifeng Sun:
Dynamic Flow Scheduling Strategy in Multihoming Video CDNs.
Umberto Martínez-Peñas, Ryutaroh Matsumoto:
Unifying notions of generalized weights for universal security on wire-tap networks.
Andreas Thor, Werner Marx, Loet Leydesdorff, Lutz Bornmann:
New features of CitedReferencesExplorer (CRExplorer).
Xavier Mestre, David Gregoratti:
Parallelized Structures for MIMO FBMC under Strong Channel Frequency Selectivity.
Christian Berthet:
Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation.
Ruifeng Duan, Riku Jäntti, Hüseyin Yigitler, Kalle Ruttik:
On the Capacity of Bi-static Modulated Re-scatter Systems.
Prosenjit Bose, Jean-Lou De Carufel, Alina Shaikhet, Michiel H. M. Smid:
Essential Constraints of Edge-Constrained Proximity Graphs.
(Withdrawn) Fast Inverse Nonlinear Fourier Transforms for Fiber Bragg Grating Design and Related Problems.


Alex Gittens, Aditya Devarakonda, Evan Racah, Michael F. Ringenburg, Lisa Gerhardt, Jey Kottalam, Jialin Liu, Kristyn J. Maschhoff, Shane Canon, Jatin Chhugani, Pramod Sharma, Jiyan Yang, James Demmel, Jim Harrell, Venkat Krishnamurthy, Michael W. Mahoney, Prabhat:
Matrix Factorization at Scale: a Comparison of Scientific Data Analytics in Spark and C+MPI Using Three Case Studies.

Lei Yu, Houqiang Li, Chang Wen Chen:
Distortion Bounds for Transmitting Correlated Sources with Common Part over MAC.
Shahid Mehraj Shah, Krishna Chaitanya A, Vinod Sharma:
Resource Allocation in a MAC with and without security via Game Theoretic Learning.
Vishwajeet Singh, Killamsetti Ravi Kumar, K. Eswaran:
Learning Discriminative Features using Encoder-Decoder type Deep Neural Nets.
Nazia Hameed, Maqbool Uddin Shaikh, Fozia Hameed, Azra Shamim:
Cultural Differences in E-Learning: Exploring New Dimensions.
Karim A. Banawan, Sennur Ulukus:
MIMO Wiretap Channel under Receiver Side Power Constraints with Applications to Wireless Power Transfer and Cognitive Radio.
Lingfei Wu, Eloy Romero, Andreas Stathopoulos:
PRIMME_SVDS: A High-Performance Preconditioned SVD Solver for Accurate Large-Scale Computations.
Wei Wei, Kangjin Kim, Georgios E. Fainekos:
Extended LTLvis Motion Planning interface (Extended Technical Report).
Rajarshi Das, Arvind Neelakantan, David Belanger, Andrew McCallum:
Chains of Reasoning over Entities, Relations, and Text using Recurrent Neural Networks.
Gokhan M. Guvensen, Ender Ayanoglu:
A Generalized Framework on Beamformer Design and CSI Acquisition for Single-Carrier Massive MIMO Systems in Millimeter Wave Channels.
Luwei Yang, Ligen Zhu, Yichen Wei, Shuang Liang, Ping Tan:
Attribute Recognition from Adaptive Parts.
Tanima Chatterjee, Bhaskar DasGupta, Nasim Mobasheri, Venkatkumar Srinivasan, Ismael González Yero:
On the Computational Complexities of Three Privacy Measures for Large Networks Under Active Attack.
Martina Cardone, Yahya H. Ezzeldin, Christina Fragouli, Daniela Tuninetti:
Network Simplification in Half-Duplex: Building on Submodularity.
Dan Calacci, Oren Lederman, David Shrier, Alex 'Sandy' Pentland:
Breakout: An Open Measurement and Intervention Tool for Distributed Peer Learning Groups.
Hui-Min Cheng, Yi-Zi Ning, Xiaoke Ma, Zhongyuan Zhang:
Effectiveness of Rapid Rail Transit System in Beijing.
Tal Hassner, Iacopo Masi, Jungyeon Kim, Jongmoo Choi, Shai Harel, Prem Natarajan, Gérard G. Medioni:
Pooling Faces: Template based Face Recognition with Pooled Face Images.
Alex Dytso, Ronit Bustin, Daniela Tuninetti, Natasha Devroye, H. Vincent Poor, Shlomo Shamai:
On the Minimum Mean p-th Error in Gaussian Noise Channels and its Applications.
(Withdrawn) Cryptanalysis and Improvement of an Improved Two Factor Authentication Scheme for Telecare Medicine Information Systems.
Mohamed Alzenad, Muhammad Zeeshan Shakir, Halim Yanikomeroglu, Mohamed-Slim Alouini:
FSO-based Vertical Backhaul/Fronthaul Framework for 5G+ Wireless Networks.
Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang:
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.
Tim Moon, Jack Poulson:
Accelerating eigenvector and pseudospectra computation using blocked multi-shift triangular solves.
Masahiro Ono, Mahmoud El Chamie, Marco Pavone, Behçet Açikmese:
Mixed Strategy for Constrained Stochastic Optimal Control.
Francesca Ceragioli, Paolo Frasca:
Consensus and disagreement: the role of quantized behaviours in opinion dynamics.
Alexey Medvedev, János Kertész:
Empirical study of the role of the topology in spreading on communication networks.
John J. Camilleri, Normunds Gruzitis, Gerardo Schneider:
Extracting Formal Models from Normative Texts.
Dinuka M. W. Abeywardena, Shoudong Huang, Ben Barnes, Gamini Dissanayake, Sarath Kodagoda:
Fast, On-board, Model-aided Visual-Inertial Odometry System for Quadrotor Micro Aerial Vehicles.
Renars Liepins, Uldis Bojars, Normunds Gruzitis, Karlis Cerans, Edgars Celms:
Towards Self-explanatory Ontology Visualization with Contextual Verbalization.
Ali Tarhini:
The Effects of Cultural dimensions and Demographic Characteristics on E-learning Acceptance.
Pingyi Fan, Yunquan Dong, Jiaxun Lu, Shanyun Liu:
Message Importance Measure and Its Application to Minority Subset Detection in Big Data.
Han Cai, Minquan Cheng, Cuiling Fan, Xiaohu Tang:
Optimal Locally Repairable Systematic Codes Based on Packings.
Tarun Kathuria, Amit Deshpande:
On Sampling and Greedy MAP Inference of Constrained Determinantal Point Processes.
Simina Brânzei, Vasilis Gkatzelis, Ruta Mehta:
Nash Social Welfare Approximation for Strategic Agents.
Le Dong, Ling He, Gaipeng Kong, Qianni Zhang, Xiaochun Cao, Ebroul Izquierdo:
CUNet: A Compact Unsupervised Network for Image Classification.
Gerasimos Spanakis, Gerhard Weiss, Anne Roefs:
Bagged Boosted Trees for Classification of Ecological Momentary Assessment Data.
Chuili Kong, Caijun Zhong, Michail Matthaiou, Emil Björnson, Zhaoyang Zhang:
Multipair Two-way Half-Duplex Relaying with Massive Arrays and Imperfect CSI.
Wenhu Chen, Evgeny Matusov, Shahram Khadivi, Jan-Thorsten Peter:
Guided Alignment Training for Topic-Aware Neural Machine Translation.
Blake Anderson, Subharthi Paul, David A. McGrew:
Deciphering Malware's use of TLS (without Decryption).


Manuel Blanco Valentin, Clecio Roque De Bom, Márcio Portes de Albuquerque, Marcelo Portes de Albuquerque, Elisangela Faria, Maury Duarte Correia, Rodrigo Surmas:
Rock Texture Classification Using Spectral Analysis And Genetically Optimized Texture Features.
Yehonatan Cohen, Danny Hendler, Amir Rubin:
Node-Centric Detection of Overlapping Communities in Social Networks.
Jaikumar Radhakrishnan, Swagato Sanyal:
The zero-error randomized query complexity of the pointer function.
Armando B. Matos:
Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability.
Cen Wan, Alex Alves Freitas:
A New Hierarchical Redundancy Eliminated Tree Augmented Naive Bayes Classifier for Coping with Gene Ontology-based Features.
Vincent Ike Anireh, Emmanuel N. Osegi:
A Modified Activation Function with Improved Run-Times For Neural Networks.
M. Cristina Diamantini, Luca Gammaitoni, Carlo A. Trugenberger:
Landauer Bound for Analog Computing Systems.
Dalal Hammoud, Fadi A. Zaraket, Wes Masri:
GUICop: Approach and Toolset for Specification-based GUI Testing.
Vikas Shivashankar, Ron Alford, Mark Roberts, David W. Aha:
Cost-Optimal Algorithms for Planning with Procedural Control Knowledge.
Jialin Liu, Diego Perez Liebana, Simon M. Lucas:
Rolling Horizon Coevolutionary Planning for Two-Player Video Games.
Alyssa M. Adams, Hector Zenil, Paul C. W. Davies, Sara Imari Walker:
Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems.
Pavel Kucherbaev, Azad Abad, Stefano Tranquillini, Florian Daniel, Maurizio Marchese, Fabio Casati:
CrowdCafe - Mobile Crowdsourcing Platform.
Armand Joulin, Edouard Grave, Piotr Bojanowski, Tomas Mikolov:
Bag of Tricks for Efficient Text Classification.
Zhenyang Li, Efstratios Gavves, Mihir Jain, Cees G. M. Snoek:
VideoLSTM Convolves, Attends and Flows for Action Recognition.
Alex Alvarado, Erik Agrell, Fredrik Brännström:
Asymptotic Comparison of ML and MAP Detectors for Multidimensional Constellations.
Kyle Burke, Erik D. Demaine, Harrison Gregg, Robert A. Hearn, Adam Hesterberg, Michael Hoffmann, Hiro Ito, Irina Kostitsyna, Jody Leonard, Maarten Löffler, Aaron Santiago, Christiane Schmidt, Ryuhei Uehara, Yushi Uno, Aaron Williams:
Single-Player and Two-Player Buttons & Scissors Games.
Albert Fannjiang:
Compressive Spectral Estimation with Single-Snapshot ESPRIT: Stability and Resolution.
Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016 [contents]
Chengcheng Wang, Yonggang Zhang, Bicheng Ying, Ali H. Sayed:
Coordinate-Descent Diffusion Learning by Networked Agents.
Steven D. Galbraith, Joel Laity, Barak Shani:
Finding Significant Fourier Coefficients: Clarifications, Simplifications, Applications and Limitations.
Agustin Indaco, Lev Manovich:
Urban Social Media Inequality: Definition, Measurements, and Application.
Dinh Hoa Nguyen, Tatsuo Narikiyo, Michihiro Kawanishi, Shinji Hara:
Hierarchical Decentralized Robust Optimal Design for Homogeneous Linear Multi-Agent Systems.
Hao Chen, Yefeng Zheng, Jin Hyeong Park, Pheng-Ann Heng, Shaohua Kevin Zhou:
Iterative Multi-domain Regularized Deep Learning for Anatomical Structure Detection and Segmentation from Ultrasound Images.
Xiaoqing Li, Jiajun Zhang, Chengqing Zong:
Neural Name Translation Improves Neural Machine Translation.
Baojian Zhou, Jinming Wen, Wai Ho Mow:
A Quadratic Programming Relaxation Approach to Compute-and-Forward Network Coding Design.
Mihajlo Grbovic, Nemanja Djuric, Vladan Radosavljevic, Fabrizio Silvestri, Ricardo A. Baeza-Yates, Andrew Feng, Erik Ordentlich, Lee Yang, Gavin Owens:
Scalable Semantic Matching of Queries to Ads in Sponsored Search Advertising.
Omid Semiari, Walid Saad, Mehdi Bennis:
Downlink Cell Association and Load Balancing for Joint Millimeter Wave-Microwave Cellular Networks.
Matthias Walter:
Complete Description of Matching Polytopes with One Linearized Quadratic Term for Bipartite Graphs.
Maani Ghaffari Jadidi, Jaime Valls Miró, Gamini Dissanayake:
Sampling-based Incremental Information Gathering with Applications to Robotic Exploration and Environmental Monitoring.
Shixin Zhu, Zhonghua Sun, Liqi Wang:
The symbol-pair distance distribution of repeated-root cyclic codes over 𝔽pm.
Amol Patwardhan, Jon Kidd, Tiffany Urena, Aishwarya Rajgopalan:
Embracing Agile methodology during DevOps Developer Internship Program.
Xianming Liu, Gene Cheung, Xiaolin Wu, Debin Zhao:
Random Walk Graph Laplacian based Smoothness Prior for Soft Decoding of JPEG Images.
Howard H. Yang, Giovanni Geraci, Tony Q. S. Quek, Jeffrey G. Andrews:
Cell-Edge-Aware Precoding for Downlink Massive MIMO Cellular Networks.
Trinh Van Chien, Emil Björnson, Erik G. Larsson:
Downlink Power Control for Massive MIMO Cellular Systems with Optimal User Association.
Min Soo Sim, MinKeun Chung, Dongkyu Kim, Jae-Hoon Chung, Dong Ku Kim, Chan-Byoung Chae:
Nonlinear Self-Interference Cancellation for Full-Duplex Radios: From Link- and System-Level Performance Perspectives.
Shangbin Wu, Sooyoung Hur, Kuyeon Whang, Maziar Nekovee:
Intra-cluster Characteristics of 28 GHz Wireless Channel in Urban Micro Street Canyon.
Lóránt Farkas, Tamás Kói:
Universal Random Access Error Exponent for Codebooks with Different Word-Lengths.
Gabriel Otero Pérez, Manuel Fernández-Veiga:
Decentralised Resource Allocation and Coordination for 5G Cellular Communication Networks.
Evgeny Tsimbalo, Andrea Tassi, Robert J. Piechocki:
Novel Performance Analysis of Network Coded Communications in Single-Relay Networks.
Gareth Tyson, Vasile Claudiu Perta, Hamed Haddadi, Michael C. Seto:
A First Look at User Activity on Tinder.


Guillaume Noyel, Rebecca Thomas, Gavin Bhakta, Andrew Crowder, David Owens, Peter Boyle:
Superimposition of eye fundus images for longitudinal analysis from large public health databases.
Xibin Song, Yuchao Dai, Xueying Qin:
Deep Depth Super-Resolution : Learning Depth Super-Resolution using Deep Convolutional Neural Network.
Gurkirt Singh, Fabio Cuzzolin:
Untrimmed Video Classification for Activity Detection: submission to ActivityNet Challenge.
Damir Vodenicarevic, Nicolas Locatelli, Julie Grollier, Damien Querlioz:
Synchronization Detection in Networks of Coupled Oscillators for Pattern Recognition.
Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:
Demand-Flow of Agents with Gross-Substitute Valuations.
Núria Bel, Mikel L. Forcada, Asunción Gómez-Pérez:
A Maturity Model for Public Administration as Open Translation Data Providers.
James Brotherston, Nikos Gorogiannis, Max I. Kanovich:
Biabduction (and Related Problems) in Array Separation Logic.
Ali Kariminezhad, Anas Chaaban, Aydin Sezgin:
Improper signaling and symbol extensions: How far can we go with Gaussian P2P codebooks in the interfering MAC with TIN?
Spyridon Vassilaras, George C. Alexandropoulos:
Optimizing Access Mechanisms for QoS Provisioning in Hardware Constrained Dynamic Spectrum Access.
Maurice H. ter Beek, Michele Loreti:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents]
Mihir Jain, Jan C. van Gemert, Hervé Jégou, Patrick Bouthemy, Cees G. M. Snoek:
Tubelets: Unsupervised action proposals from spatiotemporal super-voxels.
Vardan Papyan, Jeremias Sulam, Michael Elad:
Working Locally Thinking Globally - Part I: Theoretical Guarantees for Convolutional Sparse Coding.
Vardan Papyan, Jeremias Sulam, Michael Elad:
Working Locally Thinking Globally - Part II: Stability and Algorithms for Convolutional Sparse Coding.
Qiaosheng Eric Zhang, Mayank Bakshi, Sidharth Jaggi:
Computationally Efficient Deniable Communication.
Ivan I. Shevchenko:
Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations.
Daniel P. Lupp, Evgenij Thorstensen:
Mapping Data to Ontologies with Exceptions Using Answer Set Programming.
Merim Dzaferagic, Nicholas J. Kaminski, Irene Macaluso, Nicola Marchetti:
A Functional Complexity Framework for the Analysis of Telecommunication Networks.
Giuseppe Airò Farulla, Tiziana Armano, Anna Capietto, Nadir Murru, Rosaria Rossini:
Artificial neural networks and fuzzy logic for recognizing alphabet characters and mathematical symbols.
Parthe Pandit, Ankur A. Kulkarni:
Refinement of the Equilibrium of Public Goods Games over Networks: Efficiency and Effort of Specialized Equilibria.
Yuanhuizi Xu, Kwan-Wu Chin, Sieteng Soh:
A Novel Distributed Pseudo TDMA Channel Access Protocol for Multi-Transmit-Receive Wireless Mesh Networks.
Jean-François Remacle, Jonathan Lambrechts:
Fast and robust mesh generation on the sphere Application to coastal domains.
Hiep H. Nguyen, Abdessamad Imine, Michaël Rusinowitch:
Detecting Communities under Differential Privacy.
Emmanuele Chersoni, Enrico Santus, Alessandro Lenci, Philippe Blache, Chu-Ren Huang:
Representing Verbs with Rich Contexts: an Evaluation on Verb Similarity.
Christoph Fuchs, Akash Nayyar, Ruth Nussbaumer, Georg Groh:
Estimating the Dissemination of Social and Mobile Search in Categories of Information Needs Using Websites as Proxies.
Ankit Chauhan, Pascal Lenzner, Anna Melnichenko, Martin Münn:
On Selfish Creation of Robust Networks.
Ritambhara Singh, Jack Lanchantin, Gabriel Robins, Yanjun Qi:
DeepChrome: Deep-learning for predicting gene expression from histone modifications.
Christos Giatsidis, Fragkiskos D. Malliaros, Nikolaos Tziortziotis, Charanpal Dhanjal, Emmanouil Kiagias, Dimitrios M. Thilikos, Michalis Vazirgiannis:
A k-core Decomposition Framework for Graph Clustering.

Fan Yang, Andrew A. Chien:
Extreme Scaling of Supercomputing with Stranded Power: Costs and Capabilities.
Simon Harding, Jan Koutník, Klaus Greff, Jürgen Schmidhuber, Andy Adamatzky:
Discovering Boolean Gates in Slime Mould.
Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef:
Argumentation Models for Cyber Attribution.
Yusuf Isik, Jonathan Le Roux, Zhuo Chen, Shinji Watanabe, John R. Hershey:
Single-Channel Multi-Speaker Separation using Deep Clustering.
Faiza Khan Khattak, Ansaf Salleb-Aouissi:
Toward a Robust Crowd-labeling Framework using Expert Evaluation and Pairwise Comparison.
Afshin Oroojlooyjadid, Lawrence V. Snyder, Martin Takác:
Applying Deep Learning to the Newsvendor Problem.
Ioannis Avgouleas, Nikolaos Pappas, Di Yuan, Vangelis Angelakis:
Probabilistic Cooperation of a Full-Duplex Relay in Random Access Networks.


Sofya Chepushtanova, Michael Kirby, Chris Peterson, Lori Ziegelmeier:
Persistent Homology on Grassmann Manifolds for Analysis of Hyperspectral Movies.
Tommaso Dreossi:
Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems.
Giuseppe Lisanti, Svebor Karaman, Iacopo Masi, Alberto Del Bimbo:
Multi Channel-Kernel Canonical Correlation Analysis for Cross-View Person Re-Identification.
Xiangyu Guo, Binbin Tang, Jian Tao, Zhaohui Huang, Zhihui Du:
Large Scale GPU Accelerated PPMLR-MHD Simulations for Space Weather Forecast.


Dániel Horpácsi, Judit Köszegi, Simon J. Thompson:
Towards Trustworthy Refactoring in Erlang. 83-103
Venkatesh Kannan, Geoff W. Hamilton:
Program Transformation to Identify List-Based Parallel Skeletons. 118-136

Alessandro Aldini:
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. 19-30
Diego Latella:
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract. 53-61
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink:
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. 81-92
Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali:
Incremental Quantitative Analysis on Dynamic Costs.
Darryl Dexu Lin, Sachin S. Talathi:
Overcoming Challenges in Fixed Point Training of Deep Convolutional Networks.
Mahmoud Abdelaziz, Lauri Anttila, Chance Tarver, Kaipeng Li, Joseph R. Cavallaro, Mikko Valkama:
Low-Complexity Sub-band Digital Predistortion for Spurious Emission Suppression in Noncontiguous Spectrum Access.
Yiming Cui, Ting Liu, Zhipeng Chen, Shijin Wang, Guoping Hu:
Consensus Attention-based Neural Networks for Chinese Reading Comprehension.
Andreas Doumanoglou, Vassileios Balntas, Rigas Kouskouridas, Tae-Kyun Kim:
Siamese Regression Networks with Efficient mid-level Feature Extraction for 3D Object Pose Estimation.
Zuling Chang, Johan Chrisnata, Martianus Frederic Ezerman, Han Mao Kiah:
Rates of DNA Sequence Profiles for Practical Values of Read Lengths.
Anna Mpanti, Stavros D. Nikolopoulos:
Two RPG Flow-graphs for Software Watermarking using Bitonic Sequences of Self-inverting Permutations.
Michael Holzhauser, Sven O. Krumke, Clemens Thielen:
On the Complexity and Approximability of Budget-Constrained Minimum Cost Flows.
Michael Holzhauser, Sven O. Krumke, Clemens Thielen:
A Network Simplex Method for the Budget-Constrained Minimum Cost Flow Problem.
André Mateus, Pedro Miraldo, Pedro U. Lima:
Non-Central Catadioptric Cameras Pose Estimation using 3D Lines.
Kamalika Bhattacharjee, Nazma Naskar, Souvik Roy, Sukanta Das:
A Survey of Cellular Automata: Types, Dynamics, Non-uniformity and Applications.
Huy Phan, Lars Hertel, Marco Maaß, Philipp Koch, Alfred Mertins:
CNN-LTE: a Class of 1-X Pooling Convolutional Neural Networks on Label Tree Embeddings for Audio Scene Recognition.
Huy Phan, Lars Hertel, Marco Maaß, Philipp Koch, Alfred Mertins:
CaR-FOREST: Joint Classification-Regression Decision Forests for Overlapping Audio Event Detection.
Fanny Parzysz, Marco Di Renzo, Christos V. Verikoukis:
Power-Availability-Aware Cell Association for Energy-Harvesting Small-Cell Base Stations.
Christopher Celio, Palmer Dabbelt, David A. Patterson, Krste Asanovic:
The Renewed Case for the Reduced Instruction Set Computer: Avoiding ISA Bloat with Macro-Op Fusion for RISC-V.
Markus Wulfmeier, Dominic Zeng Wang, Ingmar Posner:
Watch This: Scalable Cost-Function Learning for Path Planning in Urban Environments.

Jean Barbier, Mohamad Dia, Nicolas Macris, Florent Krzakala:
The Mutual Information in Random Linear Estimation.

Aurangzeb Khan, Khairullah Khan, Shakeel Ahmad, Fazal Masood Kundi, Irum Tareen, Muhammad Zubair Asghar:
Lexical Based Semantic Orientation of Online Customer Reviews and Blogs.
Fabio Fagnani, Barbara Franci, Ennio Grasso:
A game theoretic approach to a peer-to-peer cloud storage model.
Ying Huang, Pavel Janovsky, Sanjoy Das, Stephen M. Welch, Scott A. DeLoach:
Multi-Agent System for Groundwater Depletion Using Game Theory.
Nir Weinberger, Ofer Shayevitz:
On the Optimal Boolean Function for Prediction under Quadratic Loss.
Yoonchang Han, Kyogu Lee:
Acoustic scene classification using convolutional neural network and multiple-width frequency-delta data augmentation.
Konstantinos Dovelos, Laura Toni, Pascal Frossard:
Finite Length Performance of Random Slotted ALOHA Strategies.
Frank Rosner, Alexander Hinneburg:
Translating Bayesian Networks into Entity Relationship Models, Extended Version.

Akram Al-Hourani, Robin J. Evans, Kandeepan Sithamparanathan, Bill Moran, Hamid Eltom:
Stochastic Geometry Methods for Modelling Automotive Radar Interference.
David Adjiashvili, Viktor Bindewald, Dennis Michaels:
Robust Assignments via Ear Decompositions and Randomized Rounding.
Keunwoo Choi, George Fazekas, Mark B. Sandler:
Explaining Deep Convolutional Neural Networks on Music Classification.
Antonio Perianes-Rodríguez, Ludo Waltman, Nees Jan van Eck:
Constructing bibliometric networks: A comparison between full and fractional counting.
Ali Parsai, Alessandro Murgia, Serge Demeyer:
Evaluating Random Mutant Selection at Class-Level in Projects with Non-Adequate Test Suites.
Danilo Silva, Nikolaos Tsantalis, Marco Tulio Valente:
Why We Refactor? Confessions of GitHub Contributors.
Marc Dymetman, Chunyang Xiao:
Log-Linear RNNs: Towards Recurrent Neural Networks with Flexible Prior Knowledge.


Adithya Rao, Nemanja Spasojevic:
Actionable and Political Text Classification using Word Embeddings and LSTM.
Keith Paarporn, Ceyhun Eksin, Joshua S. Weitz, Jeff S. Shamma:
Networked SIS Epidemics with Awareness.
Galen Reeves, Henry D. Pfister:
The Replica-Symmetric Prediction for Compressed Sensing with Gaussian Matrices is Exact.

Heng Fan, Xue Mei, Danil V. Prokhorov, Haibin Ling:
Multi-level Contextual RNNs with Attention Model for Scene Labeling.
(Withdrawn) Graph Construction with Label Information for Semi-Supervised Learning.
Shervin Minaee, Yao Wang:
Screen Content Image Segmentation Using Robust Regression and Sparse Decomposition.
(Withdrawn) On the non-uniqueness of the instantaneous frequency.
Adel Dokhanchi, Bardh Hoxha, Georgios E. Fainekos:
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems.
Pranav Sakulkar, Bhaskar Krishnamachari:
Online Learning Schemes for Power Allocation in Energy Harvesting Communications.
Jakob Engel, Vladyslav C. Usenko, Daniel Cremers:
A Photometrically Calibrated Benchmark For Monocular Visual Odometry.
Jialin Wu, Gu Wang, Wukui Yang, Xiangyang Ji:
Action Recognition with Joint Attention on Multi-Level Deep Features.
Sen Wang, Feiping Nie, Xiaojun Chang, Xue Li, Quan Z. Sheng, Lina Yao:
Uncovering Locally Discriminative Structure for Feature Analysis.
Cong Yan, Zewei Chu, Alvin Cheung, Shan Lu:
Database-Backed Applications in the Wild: How Well Do They Work?
Marco Rocchetto, Nils Ole Tippenhauer:
CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions.
Mengyao Zhai, Mehrsan Javan Roshtkhari, Greg Mori:
Deep Learning of Appearance Models for Online Object Tracking.
Pierre-Henri Tournier, Ioannis Aliferis, Marcella Bonazzoli, Maya de Buhan, Marion Darbas, Victorita Dolean, Frédéric Hecht, Pierre Jolivet, Ibtissam El Kanfoud, Claire Migliaccio, Frédéric Nataf, Christian Pichot, Serguei Semenov:
Microwave Tomographic Imaging of Cerebrovascular Accidents by Using High-Performance Computing.
Canyi Lu, Jiashi Feng, Shuicheng Yan, Zhouchen Lin:
A Unified Alternating Direction Method of Multipliers by Majorization Minimization.
Tianfan Xue, Jiajun Wu, Katherine L. Bouman, William T. Freeman:
Visual Dynamics: Probabilistic Future Frame Synthesis via Cross Convolutional Networks.
Ranjan Pal, Leana Golubchik, Konstantinos Psounis, Pan Hui:
Security Pricing as an Enabler of Cyber-Insurance: A First Look at Differentiated Pricing Markets.
Ahmad A. Masoud:
Decentralized, Self-organizing, Potential field-based Control for Individuallymotivated, Mobile Agents in a Cluttered Environment: A Vector-Harmonic Potential Field Approach.

Mostafa S. Ibrahim, Srikanth Muralidharan, Zhiwei Deng, Arash Vahdat, Greg Mori:
Hierarchical Deep Temporal Models for Group Activity Recognition.
Vasiliki Kalavri, Vladimir Vlassov, Seif Haridi:
High-Level Programming Abstractions for Distributed Graph Processing.
Martin Slawski, Ping Li:
Linear signal recovery from b-bit-quantized linear measurements: precise analysis of the trade-off between bit depth and number of measurements.
Yuheng Bu, Shaofeng Zou, Yingbin Liang, Venugopal V. Veeravalli:
Estimation of KL Divergence: Optimal Minimax Rate.
Yanwei Cui, Sébastien Lefèvre, Laetitia Chapel, Anne Puissant:
Combining multiple resolutions into hierarchical representations for kernel-based image classification.
Amol S. Patwardhan, Gerald M. Knapp:
Augmenting Supervised Emotion Recognition with Rule-Based Decision Model.
Yan Sun, Derrick Wing Kwan Ng, Zhiguo Ding, Robert Schober:
Optimal Joint Power and Subcarrier Allocation for Full-Duplex Multicarrier Non-Orthogonal Multiple Access Systems.
Carlos R. Rivero, Hasan M. Jamil:
A Novel Model for Distributed Big Data Service Composition using Stratified Functional Graph Matching.
Jian Du, Yik-Chung Wu:
Network-Wide Distributed Carrier Frequency Offsets Estimation and Compensation.
Minghui Yang, Jin Li, Keqin Feng:
Construction of Cyclic and Constacyclic Codes for b-symbol Read Channels Meeting the Plotkin-like Bound.
Wei Li, Farnaz Abtahi, Christina Tsangouri, Zhigang Zhu:
Towards an "In-the-Wild" Emotion Dataset Using a Game-based Framework.
Hengyao Bao, Jun Fang, Zhi Chen, Tao Jiang:
Perturbation-Assisted PAPR Reduction for Large-Scale MIMO-OFDM Systems via ADMM.
Mostafa Milani, Leopoldo E. Bertossi:
Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations.
Ding Zhao, Xianan Huang, Huei Peng, Henry Lam, David J. LeBlanc:
Accelerated Evaluation of Automated Vehicles in Car-Following Maneuvers.
Alessio Lomuscio, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents]
Olivier Rioul:
At Every Corner: Determining Corner Points of Two-User Gaussian Interference Channels.
Maria Han Veiga, Carsten Eickhoff:
Privacy Leakage through Innocent Content Sharing in Online Social Networks.
Bingwen Jin, Songhua Xu, Weidong Geng:
Learning to Sketch Human Facial Portraits using Personal Styles by Case-Based Reasoning.
Roman Bauer, Lukas Breitwieser, Alberto Di Meglio, Leonard Johard, Marcus Kaiser, Marco Manca, Manuel Mazzara, Max Talanov:
The BioDynaMo Project.
Fangxuan Sun, Jun Lin:
Memory Efficient Nonuniform Quantization for Deep Convolutional Neural Network.
Mark de Berg, Kevin Buchin, Bart M. P. Jansen, Gerhard J. Woeginger:
Fine-Grained Complexity Analysis of Two Classic TSP Variants.
Rui Han, Siguang Huang, Fei Tang, Fu-Gui Chang, Jianfeng Zhan:
AccuracyTrader: Accuracy-aware Approximate Processing for Low Tail Latency and High Result Accuracy in Cloud Online Services.
Guillermo Garcia-Hernando, Tae-Kyun Kim:
Transition Forests: Learning Discriminative Temporal Transitions for Action Recognition.
Omar Zakary, Mostafa Rachik:
Applied Lyapunov Stability on Output Tracking Problem for a Class of Discrete-Time Linear Systems.

Giulia Vezzani, Ugo Pattacini, Giorgio Battistelli, Luigi Chisci, Lorenzo Natale:
Memory Unscented Particle Filter for 6-DOF Tactile Localization.
Jian Du, Shaodan Ma, Yik-Chung Wu, H. Vincent Poor:
Distributed Hybrid Power State Estimation under PMU Sampling Phase Errors.
Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Mérouane Debbah:
Mobile Internet of Things: Can UAVs Provide an Energy-Efficient Mobile Architecture?
Kiril Solovey, Dan Halperin:
Sampling-based bottleneck pathfinding with applications to Frechet matching.
John Wieting, Mohit Bansal, Kevin Gimpel, Karen Livescu:
Charagram: Embedding Words and Sentences via Character n-grams.
Kevin Shu, Sharjeel Aziz, Vy-Luan Huynh, David Warrick, Matilde Marcolli:
Syntactic Phylogenetic Trees.
Hugo Reboredo, Francesco Renna, A. Robert Calderbank, Miguel R. D. Rodrigues:
Bounds on the Number of Measurements for Reliable Compressive Classification.
Joshua Joy, Ciaran McGoldrick, Mario Gerla:
Mobile Privacy-Preserving Crowdsourced Data Collection in the Smart City.
Wengu Chen, Huanmin Ge:
A sharp recovery condition for block sparse signals by block orthogonal multi-matching pursuit.
Mahnoosh Kholghi, Lance De Vine, Laurianne Sitbon, Guido Zuccon, Anthony N. Nguyen:
The benefits of word embeddings features for active learning in clinical information extraction.
Chao-Yeh Chen, Kristen Grauman:
Efficient Activity Detection in Untrimmed Video with Max-Subgraph Search.
Satyajit Thakor, Terence Chan, Alex J. Grant:
Capacity Bounds for Networks with Correlated Sources and Characterisation of Distributions by Entropies.
Nick Gravin, Yuval Peres, Balasubramanian Sivan:
Tight Lower Bounds for Multiplicative Weights Algorithmic Families.
Tobias Weinzierl:
Form Follows Function - Do algorithms and applications challenge or drag behind the hardware evolution?
Lars Hertel, Huy Phan, Alfred Mertins:
Classifying Variable-Length Audio Files with All-Convolutional Networks and Masked Global Pooling.
Takuya Kitazawa:
Incremental Factorization Machines for Persistently Cold-starting Online Item Recommendation.
Alberto Martín-Martín, Enrique Orduña-Malea, Juan Manuel Ayllón, Emilio Delgado López-Cózar:
A two-sided academic landscape: portrait of highly-cited documents in Google Scholar (1950-2013).
Muhammed O. Sayin, Emrah Akyol, Tamer Basar:
On the Structure of Equilibrium Strategies in Dynamic Gaussian Signaling Games.
Kensuke Harada, Weiwei Wan, Tokuo Tsuji, Kohei Kikuchi, Kazuyuki Nagata, Hiromu Onda:
Initial Experiments on Learning-Based Randomized Bin-Picking Allowing Finger Contact with Neighboring Objects.
Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
Deterministic Annealing Optimization for Witsenhausen's and Related Decentralized Stochastic Control Problems.
Alessandro Di Giorgio, Andrea Di Maria, Francesco Liberati, Vincenzo Suraci, Francesco Delli Priscoli:
Lagrangian Decomposition based Multi Agent Model Predictive Control for Electric Vehicles Charging integrating Real Time Pricing.
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay:
sk_p: a neural program corrector for MOOCs.
Markus Höhnerbach, Ahmed E. Ismail, Paolo Bientinesi:
The Vectorization of the Tersoff Multi-Body Potential: An Exercise in Performance Portability.
Anne Berry, Geneviève Simonet:
Computing the atom graph of a graph and the union join graph of a hypergraph.
Masanori Kawakita, Jun'ichi Takeuchi:
Minimum Description Length Principle in Supervised Learning with Application to Lasso.
Haris Aziz, Péter Biró, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari:
Stable Matching with Uncertain Linear Preferences.
Emre Can Kara, Ciaran M. Roberts, Michaelangelo D. Tabone, Lilliana Alvarez, Duncan S. Callaway, Emma M. Stewart:
Towards Real-Time Estimation of Solar Generation From Micro-Synchrophasor Measurements.
Yongxu Zhu, Lifeng Wang, Kai-Kit Wong, Shi Jin, Zhongbin Zheng:
Wireless Power Transfer in Massive MIMO Aided HetNets with User Association.
Alon Gonen, Shai Shalev-Shwartz:
Faster Low-rank Approximation using Adaptive Gap-based Preconditioning.
Geoffrey Jones, Neil T. Clancy, Simon R. Arridge, Daniel S. Elson, Danail Stoyanov:
Inference of Haemoglobin Concentration From Stereo RGB.
Gabriel Resende Gonçalves, Sirlene Pio Gomes da Silva, David Menotti, William Robson Schwartz:
A Benchmark for License Plate Character Segmentation.
Arnaud Casteigts, Yves Métivier, John Michael Robson, Akka Zemmari:
Design Patterns in Beeping Algorithms.
Elisabetta Bergamini, Michael Wegner, Dimitar Lukarski, Henning Meyerhenke:
Estimating Current-Flow Closeness Centrality with a Multigrid Laplacian Solver.
Asish Ghoshal, Jean Honorio:
From Behavior to Sparse Graphical Games: Efficient Recovery of Equilibria.
Natalia Zon, Vashti Galpin, Stephen Gilmore:
Modelling movement for collective adaptive systems with CARMA. 43-52

Saeid Kadkhodaei, Fatemeh Barantalab, Sima Taheri, Majid Foroughi, Farahnaz Golestan Hashemi, Mahmood Reza Shabanimofrad, Hossein Hosseinimonfared, Morvarid Akhavan Rezaei, Ali Ranjbarfard, Mahbod Sahebi, Parisa Azizi, Maryam Dadar, Rambod Abiri, Mohammad Fazel Harighi, Nahid Kalhori, Mohammad Reza Etemadi, Ali Baradaran, Mahmoud Danaee, Zahra Azhdari, Hamid Rajabi Memari, Vajiheh Safavi, Naser Tajabadi, Faruku Bande:
BioInfoBase : A Bioinformatics Resourceome.
Andrew Prout, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Vijay Gadepally, Matthew Hubbell, Michael Houle, Michael Jones, Peter Michaleas, Lauren Milechin, Julie Mullen, Antonio Rosa, Siddharth Samsi, Albert Reuther, Jeremy Kepner:
Enhancing HPC Security with a User-Based Firewall.
Pasin Manurangsi, Prasad Raghavendra:
A Birthday Repetition Theorem and Complexity of Approximating Dense CSPs.
O. K. Sikha, S. Sachin Kumar, K. P. Soman:
Salient Region Detection and Segmentation in Images using Dynamic Mode Decomposition.
Ahmed Douik, Sameh Sorour, Babak Hassibi:
Completion Time Reduction for Partially Connected D2D-enabled Network using Binary Codes.
Mohammad Ghodsi, Salma Sadat Mahdavi, Ali Narenji Sheshkalani:
Clearing an Orthogonal Polygon Using Sliding Robots.
Derek Greene, James P. Cross:
Exploring the Political Agenda of the European Parliament Using a Dynamic Topic Modeling Approach.
Bruno U. Pedroni, Sadique Sheik, Siddharth Joshi, Georgios Detorakis, Somnath Paul, Charles Augustine, Emre Neftci, Gert Cauwenberghs:
Forward Table-Based Presynaptic Event-Triggered Spike-Timing-Dependent Plasticity.
Ajinkya Bhole, Sri Harsha Turlapati, V. S. Rajashekhar, Jay Dixit, Suril V. Shah, K. Madhava Krishna:
Design of a Robust Stair Climbing Compliant Modular Robot to Tackle Overhang on Stairs.


Qingjiang Shi, Haoran Sun, Songtao Lu, Mingyi Hong, Meisam Razaviyayn:
Inexact Block Coordinate Descent Methods For Symmetric Nonnegative Matrix Factorization.
Mario Mastriani:
Systholic Boolean Orthonormalizer Network in Wavelet Domain for SAR Image Despeckling.
Qingjiang Shi, Mingyi Hong, Xiqi Gao, Enbin Song, Yunlong Cai, WeiQiang Xu:
Joint Source-Relay Design for Full-Duplex MIMO AF Relay Systems.
Renaud-Alexandre Pitaval, Lu Wei, Olav Tirkkonen, Camilla Hollanti:
Density of Spherically-Embedded Stiefel and Grassmann Codes.
Ruoxi Jia, Roy Dong, S. Shankar Sastry, Costas J. Spanos:
Privacy-Enhanced Architecture for Occupancy-based HVAC Control.
Mario Mastriani, Juliana Gambini:
Fast Cosine Transform to increase speed-up and efficiency of Karhunen-Loeve Transform for lossy image compression.
Stasa Milojevic, Filippo Radicchi, Judit Bar-Ilan:
Validity of Basing Authors' Publication Strategy on Journal Impact Factors.
Andrej Risteski:
How to calculate partition functions using convex programming hierarchies: provable bounds for variational methods.
Wenqi Wang, Shuchin Aeron, Vaneet Aggarwal:
On Deterministic Conditions for Subspace Clustering under Missing Data.
Fionn Murtagh, Michael Orlov, Boris Mirkin:
Qualitative Judgement of Research Impact: Domain Taxonomy as a Fundamental Framework for Judgement of the Quality of Research.
Yan Xu, Yang Li, Mingyuan Liu, Yipei Wang, Maode Lai, Eric I-Chao Chang:
Gland Instance Segmentation by Deep Multichannel Side Supervision.
Xiaoyue Jiang, Dong Zhang, Xiaoyi Feng:
Local feature hierarchy for face recognition across pose and illumination.
Qingqing Wu, Geoffrey Ye Li, Wen Chen, Derrick Wing Kwan Ng:
Spectrum-Power Trading for Energy-Efficient Small Cell.
Martin Henze, René Hummen, Roman Matzutt, Klaus Wehrle:
The SensorCloud Protocol: Securely Outsourcing Sensor Data to the Cloud.
Sohil Shah, Kuldeep Kulkarni, Arijit Biswas, Ankit Gandhi, Om Deshmukh, Larry S. Davis:
Weakly Supervised Learning of Heterogeneous Concepts in Videos.
Siamak Layeghy, Farzaneh Pakzad, Marius Portmann:
SCOR: Software-defined Constrained Optimal Routing Platform for SDN.
Hengyuan Hu, Rui Peng, Yu-Wing Tai, Chi-Keung Tang:
Network Trimming: A Data-Driven Neuron Pruning Approach towards Efficient Deep Architectures.
Björn Gmeiner, Daniel Drzisga, Ulrich Rüde, Robert Scheichl, Barbara I. Wohlmuth:
Scheduling massively parallel multigrid for multilevel Monte Carlo methods.
Benjamin Elizalde, Guan-Lin Chao, Ming Zeng, Ian Lane:
City-Identification of Flickr Videos Using Semantic Acoustic Features.
Jiwei Yan, Tianyong Wu, Jun Yan, Jian Zhang:
Target Directed Event Sequence Generation for Android Applications.
Ying Cui, Fan Lai, Edmund M. Yeh, Ran Liu:
Enhanced VIP Algorithms for Forwarding, Caching, and Congestion Control in Named Data Networks.
Nizar Ouni, Ridha Bouallegue:
Performance and Complexity Analysis of a Reduced Iterations LLL Algorithm.
M. Kivanç Mihçak, Emrah Akyol, Tamer Basar, Cedric Langbort:
Scalar Quadratic-Gaussian Soft Watermarking Games.
Sinh Cong Lam, Kumbesan Sandrasegaran:
Analytical and Simulation Performance of a Typical User in Random Cellular Network.





Martin Cadík, Jan Vasícek, Michal Hradis, Filip Radenovic, Ondrej Chum:
Camera Elevation Estimation from a Single Mountain Landscape Photograph.
Shangbo Mao, Enmei Tu, Guanghao Zhang, Lily Rachmawati, Eshan Rajabally, Guang-Bin Huang:
An Automatic Identification System (AIS) Database for Maritime Trajectory Prediction and Data Mining.

Duc-Cuong Dang, Thomas Jansen, Per Kristian Lehre:
Populations can be essential in tracking dynamic optima.
Jennie Zhang, Taha Yasseri:
What Happens After You Both Swipe Right: A Statistical Description of Mobile Dating Communications.
Liangqiong Qu, Shengfeng He, Jiawei Zhang, Jiandong Tian, Yandong Tang, Qingxiong Yang:
RGBD Salient Object Detection via Deep Fusion.
Poulami Dalapati, Piyush Agarwal, Animesh Dutta, Swapan Bhattacharya:
Real-time Rescheduling in Distributed Railway Network: An Agent-Based Approach.
Tao Jiang, Chunxing Ni, Yuance Xu:
Novel 16-QAM and 64-QAM Near-Complementary Sequences with Low PMEPR in OFDM Systems.
Michael Iliadis, Leonidas Spinoulas, Aggelos K. Katsaggelos:
DeepBinaryMask: Learning a Binary Mask for Video Compressive Sensing.
Lifeng Wang, Kai-Kit Wong, Maged Elkashlan, Arumugam Nallanathan, Sangarapillai Lambotharan:
Secrecy and Energy Efficiency in Massive MIMO Aided Heterogeneous C-RAN: A New Look at Interference.
Mohammad Gharbieh, Hesham ElSawy, Ahmed Bader, Mohamed-Slim Alouini:
Tractable Stochastic Geometry Model for IoT Access in LTE Networks.
Jiaxun Lu, Xuhong Chen, Shanyun Liu, Pingyi Fan:
Location-aware ICI Reduction in MIMO-OFDM Downlinks for High-speed Railway Communication Systems.
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Extended Graded Modalities in Strategy Logic. 1-14

Yuanzhi Li, Andrej Risteski:
Approximate maximum entropy principles via Goemans-Williamson with applications to provable variational methods.
Brendon John, Jackson Carter, Javier Ruiz, Sai Krishna Allani, Saurabh Dixit, Cindy M. Grimm, Ravi Balasubramanian:
Human-Planned Robotic Grasp Ranges: Capture and Validation.
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems.
Rabe Arshad, Hesham ElSawy, Sameh Sorour, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Cooperative Handover Management in Dense Cellular Networks.
Yangqing Li, Saurabh Prasad, Wei Chen, Changchuan Yin, Zhu Han:
An approximate message passing approach for compressive hyperspectral imaging using a simultaneous low-rank and joint-sparsity prior.
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi:
Compiling Stateful Network Properties for Runtime Verification.
Qianqian Xu, Jiechao Xiong, Xiaochun Cao, Yuan Yao:
Parsimonious Mixed-Effects HodgeRank for Crowdsourced Preference Aggregation.
Renata Khasanova, Xiaowen Dong, Pascal Frossard:
Multi-modal image retrieval with random walk on multi-layer graphs.
Brian Glass, Graeme Jenkinson, Yuqi Liu, M. Angela Sasse, Frank Stajano:
The usability canary in the security coal mine: A cognitive framework for evaluation and design of usable authentication solutions.
Matthias Vestner, Roee Litman, Alexander M. Bronstein, Emanuele Rodolà, Daniel Cremers:
Bayesian Inference of Bijective Non-Rigid Shape Correspondence.
Pantita Palittapongarnpim, Peter Wittek, Ehsan Zahedinejad, Barry C. Sanders:
Learning in Quantum Control: High-Dimensional Global Optimization for Noisy Quantum Dynamics.
Marthe Bonamy, Lukasz Kowalik, Michal Pilipczuk, Arkadiusz Socala, Marcin Wrochna:
Tight lower bounds for the complexity of multicoloring.
Dixita Limbachiya, Dhaval Trivedi, Manish K. Gupta:
DNA Image Pro - A Tool for Generating Pixel Patterns using DNA Tile Assembly.
Gabriel Martins Dias, Boris Bellalta, Simon Oechsner:
A Survey about Prediction-Based Data Reduction in Wireless Sensor Networks.
Nadia Polikarpova, Jean Yang, Shachar Itzhaky, Armando Solar-Lezama:
Type-Driven Repair for Information Flow Security.
Leandro Soares Indrusiak, James Harbin, Martha Johanna Sepúlveda:
Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip.
Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
Coupling proofs are probabilistic product programs.
Amit Bermanis, Aviv Rotbart, Moshe Salhov, Amir Averbuch:
Incomplete Pivoted QR-based Dimensionality Reduction.
Roy R. Lederman, Amit Singer:
A Representation Theory Perspective on Simultaneous Alignment and Classification.
Guillermo Gallego, Jon E. A. Lund, Elias Mueggler, Henri Rebecq, Tobi Delbrück, Davide Scaramuzza:
Event-based, 6-DOF Camera Tracking for High-Speed Applications.
Julian G. Zilly, Rupesh Kumar Srivastava, Jan Koutník, Jürgen Schmidhuber:
Recurrent Highway Networks.
Paul Henderson, Vittorio Ferrari:
End-to-end training of object class detectors for mean average precision.
Yunus Emre Sahin, Necmiye Ozay:
SAT-based Distributed Reactive Control Protocol Synthesis for Boolean Networks.
Manuel J. A. Eugster, Tuukka Ruotsalo, Michiel M. A. Spapé, Oswald Barral, Niklas Ravaja, Giulio Jacucci, Samuel Kaski:
Natural brain-information interfaces: Recommending information by relevance inferred from human brain signals.
Muhammad Ghifary, W. Bastiaan Kleijn, Mengjie Zhang, David Balduzzi, Wen Li:
Deep Reconstruction-Classification Networks for Unsupervised Domain Adaptation.
Kasper Fløe Trillingsgaard, Wei Yang, Giuseppe Durisi, Petar Popovski:
Variable-Length Coding with Stop-Feedback for the Common-Message Broadcast Channel in the Nonasymptotic Regime.
Matt Gardner, Jayant Krishnamurthy:
Open-Vocabulary Semantic Parsing with both Distributional Statistics and Formal Knowledge.
Ron Appel, Xavier P. Burgos-Artizzu, Pietro Perona:
Improved Multi-Class Cost-Sensitive Boosting via Estimation of the Minimum-Risk Class.
Chengtao Li, Stefanie Jegelka, Suvrit Sra:
Fast Sampling for Strongly Rayleigh Measures with Application to Determinantal Point Processes.
Chun-Hung Liu, Hong-Cheng Tsai:
Traffic Management for Heterogeneous Networks with Opportunistic Unlicensed Spectrum Sharing.
Cuiyun Gao, Hui Xu, Yichuan Man, Yangfan Zhou, Michael R. Lyu:
IntelliAd Understanding In-APP Ad Costs From Users Perspective.
Mohammad Moghadamfalahi, Murat Akçakaya, Hooman Nezamfar, Jamshid Sourati, Deniz Erdogmus:
An Active RBSE Framework to Generate Optimal Stimulus Sequences in a BCI for Spelling.
Atsushi Iwasaki, Tadashi Sekiguchi, Shun Yamamoto, Makoto Yokoo:
Repeated multimarket contact with observation errors.
Jonathan Tompson, Kristofer Schlachter, Pablo Sprechmann, Ken Perlin:
Accelerating Eulerian Fluid Simulation With Convolutional Networks.
Gabriel Martins Dias, Cintia Borges Margi, Filipe C. P. de Oliveira, Boris Bellalta:
Cloud Empowered Self-Managing WSNs.
Weishan Dong, Jian Li, Renjie Yao, Changsheng Li, Ting Yuan, Lanjun Wang:
Characterizing Driving Styles with Deep Learning.
François Clément, Vincent Martin:
The Lax-Milgram Theorem. A detailed proof to be formalized in Coq.
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys:
Private Multi-party Matrix Multiplication and Trust Computations.

Aaron Segal, Joan Feigenbaum, Bryan Ford:
Open, privacy-preserving protocols for lawful surveillance.
Dingzhu Wen, Guanding Yu, Rongpeng Li, Yan Chen, Geoffrey Ye Li:
Energy- and Spectral-Efficiency Tradeoff in Full-Duplex Communications.
Jean-Philippe Montillet:
On The Use of Conjugate Teager-Kaiser Energy Operators with Matched Filters.
Yong Xu, Qiang Huang, Wenwu Wang, Peter Foster, Siddharth Sigtia, Philip J. B. Jackson, Mark D. Plumbley:
Fully Deep Neural Networks Incorporating Unsupervised Feature Learning for Audio Tagging.
Yong Xu, Qiang Huang, Wenwu Wang, Mark D. Plumbley:
Hierachical learning for DNN-based acoustic scene classification.
Kenza Hamidouche, Walid Saad, Mérouane Debbah:
Breaking the Economic Barrier of Caching in Cellular Networks: Incentives and Contracts.
Andrew Chi-Chih Yao:
On Solutions for the Maximum Revenue Multi-item Auction under Dominant-Strategy and Bayesian Implementations.
Yiannis Giannakopoulos, Elias Koutsoupias, Maria Kyropoulou:
The Anarchy of Scheduling Without Money.
Gabriella Contardo, Ludovic Denoyer, Thierry Artières:
Sequential Cost-Sensitive Feature Acquisition.
Maroua Haddad, Philippe Leray, Nahla Ben Amor:
Possibilistic Networks: Parameters Learning from Imprecise Data and Evaluation strategy.
Hwiyeol Jo, Yohan Moon, Jong In Kim, Jeong Ryu:
Re-presenting a Story by Emotional Factors using Sentimental Analysis Method.
Diptarka Chakraborty, Elazar Goldenberg, Michal Koucký:
Streaming Algorithms For Computing Edit Distance Without Exploiting Suffix Trees.
Waqas bin Abbas, Felipe Gómez-Cuba, Michele Zorzi:
Millimeter Wave Receiver Efficiency: A Comprehensive Comparison of Beamforming Schemes with Low Resolution ADCs.
Konstantinos N. Maliatsos, Eleftherios Kofidis, Athanasios G. Kanatas:
A Unified Multicarrier Modulation Framework.
Abel Gonzalez-Garcia, Davide Modolo, Vittorio Ferrari:
Do semantic parts emerge in Convolutional Neural Networks?



Sebastian Sager, Damian Borth, Benjamin Elizalde, Christian Schulze, Bhiksha Raj, Ian Lane, Andreas Dengel:
AudioSentibank: Large-scale Semantic Ontology of Acoustic Concepts for Audio Content Analysis.
Suyash Shetty:
Application of Convolutional Neural Network for Image Classification on Pascal VOC Challenge 2012 dataset.
Chunlei Zhang, Yongqiang Wang:
Distributed Event Localization via Alternating Direction Method of Multipliers.
Susanne Pumpluen:
How to obtain lattices from (f, sigma, delta)-codes via a generalization of Construction A.





Jian Du, Yik-Chung Wu:
Distributed Clock Skew and Offset Estimation in Wireless Sensor Networks: Asynchronous Algorithm and Convergence Analysis.

John V. Monaco, Charles C. Tappert:
The Partially Observable Hidden Markov Model with Application to Keystroke Biometrics.
Yanlin Qian, Ke Chen, Joni-Kristian Kamarainen, Jarno Nikkanen, Jiri Matas:
Deep Structured-Output Regression Learning for Computational Color Constancy.
(Withdrawn) Compactification of *-autonomous categories.
Tung Mai, Ioannis Panageas, Vijay V. Vazirani:
Opinion Dynamics in Networks: Convergence, Stability and Lack of Explosion.
Liye Fu, Cristian Danescu-Niculescu-Mizil, Lillian Lee:
Tie-breaker: Using language models to quantify gender bias in sports journalism.


Eric Blais, Clément L. Canonne, Talya Eden, Amit Levi, Dana Ron:
Tolerant Junta Testing and the Connection to Submodular Optimization and Function Isomorphism.
Mordechai Guri, Ofer Hasson, Gabi Kedma, Yuval Elovici:
VisiSploit: An Optical Covert-Channel to Leak Data through an Air-Gap.
Chris Sweeney, Victor Fragoso, Tobias Höllerer, Matthew Turk:
Large Scale SfM with the Distributed Camera Model.
Johann A. Bengua, Hoang Duong Tuan, Ho N. Phien, Minh N. Do:
Concatenated image completion via tensor augmentation and completion.

Jayadev Acharya, Ilias Diakonikolas, Jerry Li, Ludwig Schmidt:
Fast Algorithms for Segmented Regression.

Seungyul Han, Youngchul Sung, Yong Hoon Lee:
Filter Design for Generalized Frequency-Division Multiplexing.


F. Boray Tek, Andrew G. Dempster, Izzet Kale:
Adaptive Gray World-Based Color Normalization of Thin Blood Film Images.
John P. Gallagher, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents]




Katina Kralevska, Danilo Gligoroski, Harald Øverby:
General Sub-packetized Access-Optimal Regenerating Codes.
Giulio Petrucci, Chiara Ghidini, Marco Rospocher:
Using Recurrent Neural Network for Learning Expressive Ontologies.


Nico Hochgeschwender, Holger Voos, Gerhard K. Kraetzschmar:
Towards Persistent Storage and Retrieval of Domain Models using Graph Database Technology.
Nikos Deligiannis, João F. C. Mota, Bruno Cornelis, Miguel R. D. Rodrigues, Ingrid Daubechies:
Multi-modal dictionary learning for image separation with application in art investigation.
Paul Dütting, Thomas Kesselheim:
Best-Response Dynamics in Combinatorial Auctions with Item Bidding.

Shawn Andrews, Ghassan Hamarneh:
Adaptable Precomputation for Random Walker Image Segmentation and Registration.
George Labahn, Vincent Neiger, Wei Zhou:
Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix.
Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer:
Hazelnut: A Bidirectionally Typed Structure Editor Calculus.
Mathieu Acher, François Esnault:
Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report.

Yan-Yu Zhang, Hong-Yi Yu, Jian-Kang Zhang, Jin-Long Wang:
Reliable MIMO Optical Wireless Communications Through Super-Rectangular Cover.
Evgeny Frolov, Ivan V. Oseledets:
Fifty Shades of Ratings: How to Benefit from a Negative Feedback in Top-N Recommendations Tasks.
Arturs Backurs, Christos Tzamos:
Improving Viterbi is Hard: Better Runtimes Imply Faster Clique Algorithms.
Thomas Bamford, Kamran Esmaeili, Angela P. Schoellig:
A real-time analysis of rock fragmentation using UAV technology.
Matthew G. Knepley, Karl Rupp, Andy R. Terrel:
Finite Element Integration with Quadrature on the GPU.
Ahmad Reza Shehabinia, Liyong Lin, Rong Su:
Timed Supervisory Control for Operational Planning and Scheduling under Multiple Job Deadlines.
Marco Bressan, Stefano Leucci, Alessandro Panconesi, Prabhakar Raghavan, Erisa Terolli:
The Limits of Popularity-Based Recommendations, and the Role of Social Ties.

Diman Zad Tootaghaj, Farshid Farhat:
Optimal Placement of Cores, Caches and Memory Controllers in NoC.

Thanh Tran, Kyumin Lee:
Understanding Citizen Reactions and Ebola-Related Information Propagation on Social Media.
Vanco Cabukovski, Roman Golubovski, Riste Temjanovski:
Learning Repository Adaptibility in an Agent-Based University Environment.
Badih Ghazi, Pritish Kamath, Madhu Sudan:
Decidability of Non-Interactive Simulation of Joint Distributions.
Aziz Ouaarab, Belaïd Ahiod, Xin-She Yang:
Random-Key Cuckoo Search for the Travelling Salesman Problem.
Michele Polese:
Performance Comparison of Dual Connectivity and Hard Handover for LTE-5G Tight Integration in mmWave Cellular Networks.
Mikhail Ivanov, Fredrik Brännström, Alexandre Graell i Amat, Gianluigi Liva:
Unequal Error Protection in Coded Slotted ALOHA.
Farshid Farhat, Diman Zad Tootaghaj, Mohammad Arjomand:
Towards Optimizing Data Computing Flow in the Cloud.
Geordie George, Kiran Venugopal, Angel E. Lozano, Robert W. Heath Jr.:
Enclosed mmWave Wearable Networks: Feasibility and Performance.
Karen Leung, Ian R. Manchester:
Chebyshev Pseudospectral Method for Nonlinear Stabilization using Control Contraction Metrics.
Hudson Borges, André C. Hora, Marco Tulio Valente:
Predicting the Popularity of GitHub Repositories.
J. Ian Munro, Gonzalo Navarro, Yakov Nekrich:
Space-Efficient Construction of Compressed Indexes in Deterministic Linear Time.
Higor Amario de Souza, Marcos Lordello Chaim, Fabio Kon:
Spectrum-based Software Fault Localization: A Survey of Techniques, Advances, and Challenges.
Geordie George, Ratheesh Kumar Mungara, Angel E. Lozano, Martin Haenggi:
Ergodic Spectral Efficiency in MIMO Cellular Networks.
Ramón Iglesias, Federico Rossi, Rick Zhang, Marco Pavone:
A BCMP Network Approach to Modeling and Controlling Autonomous Mobility-on-Demand Systems.
Andrew W. Palmer, Andrew John Hill, Steven J. Scheding:
Multi-robot task allocation with resource contention and uncertain timing.

Wayes Tushar, Jian Andrew Zhang, Chau Yuen, David B. Smith, Naveed Ul Hassan:
Management of Renewable Energy for A Shared Facility Controller in Smart Grid.
Ruining He, Chen Fang, Zhaowen Wang, Julian McAuley:
Vista: A Visually, Socially, and Temporally-aware Model for Artistic Recommendation.
Liping Jing, Bo Liu, Jaeyoung Choi, Adam Janin, Julia Bernd, Michael W. Mahoney, Gerald Friedland:
DCAR: A Discriminative and Compact Audio Representation to Improve Event Detection.
Renzhi Cao, Debswapna Bhattacharya, Jie Hou, Jianlin Cheng:
DeepQA: Improving the estimation of single protein model quality with deep belief networks.
Song Han, Jeff Pool, Sharan Narang, Huizi Mao, Shijian Tang, Erich Elsen, Bryan Catanzaro, John Tran, William J. Dally:
DSD: Regularizing Deep Neural Networks with Dense-Sparse-Dense Training Flow.
Yinxiao Li, Yan Wang, Yonghao Yue, Danfei Xu, Michael Case, Shih-Fu Chang, Eitan Grinspun, Peter K. Allen:
Model-Driven Feed-Forward Prediction for Manipulation of Deformable Objects.

Yiming Cui, Zhipeng Chen, Si Wei, Shijin Wang, Ting Liu, Guoping Hu:
Attention-over-Attention Neural Networks for Reading Comprehension.
Andrea Munari, Francesco Rossetto, Petri Mähönen, Marina Petrova:
On the Stability of a Full-Duplex Aloha Network.
Patrick Wieschollek, Michael Hirsch, Hendrik P. A. Lensch, Bernhard Schölkopf:
End-to-End Learning for Image Burst Deblurring.
David Ribeiro, André Mateus, Jacinto C. Nascimento, Pedro Miraldo:
A Real-Time Deep Learning Pedestrian Detector for Robot Navigation.
Matthias R. Brust, Bogdan M. Strimbu:
A Networked Swarm Model for UAV Deployment in the Assessment of Forest Environments.
David Ribeiro, André Mateus, Jacinto C. Nascimento, Pedro Miraldo:
A Real-Time Pedestrian Detector using Deep Learning for Human-Aware Navigation.
Shouhei Fukunaga, Yoshimasa Takabatake, Tomohiro I, Hiroshi Sakamoto:
Online Grammar Compression for Frequent Pattern Discovery.
S. Senthilmurugan, Junaid Ansari, Petri Mähönen, T. G. Venkatesh, Marina Petrova:
Channel Selection Algorithm for Cognitive Radio Networks with Heavy-Tailed Idle Times.
Lei Dong, Sicong Chen, Yunsheng Cheng, Zhengwei Wu, Chao Li, Haishan Wu:
Measuring Economic Activities of China with Mobile Big Data.
Dimitar Asenov, Peter Müller, Lukas Vogel:
The IDE as a Scriptable Information System (extended version).
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko:
Efficient CTL Verification via Horn Constraints Solving. 1-14
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux:
Hierarchical State Machines as Modular Horn Clauses. 15-28
Bishoksan Kafle, John P. Gallagher, Pierre Ganty:
Solving non-linear Horn clauses using a linear Horn clause solver. 33-48
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Removing Unnecessary Variables from Horn Clause Verification Conditions. 49-55

Wayne Eberly:
Selecting Algorithms for Black Box Matrices: Checking for Matrix Properties That Can Simplify Computations.
Wayne Eberly:
Black Box Linear Algebra: Extending Wiedemann's Analysis of a Sparse Matrix Preconditioner for Computations over Small Fields.

Yuichi Yoshida:
Maximizing a Monotone Submodular Function with a Bounded Curvature under a Knapsack Constraint.
Michael Neunert, Farbod Farshidian, Alexander W. Winkler, Jonas Buchli:
Trajectory Optimization Through Contacts and Automatic Gait Discovery for Quadrupeds.
Pedro Montealegre, Ioan Todinca:
On Distance-d Independent Set and other problems in graphs with few minimal separators.

Xinyu Gao, Linglong Dai, Akbar M. Sayeed:
Low RF-Complexity Technologies for 5G Millimeter-Wave MIMO Systems with Large Antenna Arrays.
Yi Zhou, Li Liu, Ling Shao, Matt Mellor:
DAVE: A Unified Framework for Fast Vehicle Detection and Annotation.
Luiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira:
Analyzing features learned for Offline Signature Verification using Deep CNNs.
John M. Pierre, Mark Butler, Jacob Portnoff, Luis Aguilar:
Neural Discourse Modeling of Conversations.
Bo Dai, Niao He, Yunpeng Pan, Byron Boots, Le Song:
Learning from Conditional Distributions via Dual Kernel Embeddings.
Matthew J. Liberatore:
A Counterexample to the Forward Recursion in Fuzzy Critical Path Analysis Under Discrete Fuzzy Sets.
Siddharth Sigtia, Adam M. Stark, Sacha Krstulovic, Mark D. Plumbley:
Automatic Environmental Sound Recognition: Performance versus Computational Cost.
Minshan Cui, Saurabh Prasad:
Spatial Context based Angular Information Preserving Projection for Hyperspectral Image Classification.
Sebastian Ament, Nikhil Rangarajan, Shaloo Rakheja:
A practical guide to solving the stochastic Landau-Lifshitz-Gilbert-Slonczewski equation for macrospin dynamics.
Marek A. Suchenek:
Best-case Analysis of MergeSort with an Application to the Sum of Digits Problem, A manuscript (MS).
Piotr Bojanowski, Edouard Grave, Armand Joulin, Tomas Mikolov:
Enriching Word Vectors with Subword Information.
Saurabh Prasad, Tanu Priya, Minshan Cui, Shishir Shah:
Person Re-identification with Hyperspectral Multi-Camera Systems - A Pilot Study.

Aronee Dasgupta, Sahil Chakraborty, Astha Nachrani, Pritam Gajkumar Shah:
Lightweight Security Protocol for WiSense based Wireless Sensor Network.
Subarna Tripathi, Zachary C. Lipton, Serge J. Belongie, Truong Q. Nguyen:
Context Matters: Refining Object Detection in Video with Recurrent Neural Networks.
Victor Andrei, Ognjen Arandjelovic:
Identification of promising research directions using machine learning aided medical literature analysis.
Vikram Iyer, Vamsi Talla, Bryce Kellogg, Shyamnath Gollakota, Joshua R. Smith:
Inter-Technology Backscatter: Towards Internet Connectivity for Implanted Devices.
Abhineet Singh, Martin Jägersand:
Registration based Tracking with Structural Similarity : A Unifying Formulation.
Raziel Alvarez, Rohit Prabhavalkar, Anton Bakhtin:
On the efficient representation and execution of deep acoustic models.
Zhizhen Zhong, Jipu Li, Nan Hua, Gustavo B. Figueiredo, Yanhe Li, Xiaoping Zheng, Biswanath Mukherjee:
On QoS-assured degraded provisioning in service differentiated multi-layer elastic optical networks.
Hang Li, Chuan Huang, Shuguang Cui:
Multiuser Energy Diversity in Energy Harvesting Wireless Communications.
Shih-Tang Su, Vijay Subramanian:
Descending Price Algorithm for Determining Market Clearing Prices in Matching Markets.
Jessica Claridge, Ioannis Chatzigeorgiou:
Probability of Partially Solving Random Linear Systems in Network Coding.
Qimei Chen, Guanding Yu, Hesham M. Elmaghraby, Jyri Hämäläinen, Zhi Ding:
Embedding LTE-U within Wi-Fi Bands for Spectrum Efficiency Improvement.
Çagdas Bak, Aykut Erdem, Erkut Erdem:
Two-Stream Convolutional Networks for Dynamic Saliency Prediction.
Ke Yang, Dongsheng Li, Yong Dou, Shaohe Lv, Qiang Wang:
Weakly supervised object detection using pseudo-strong labels.
Vinayaka Yaji, Shalabh Bhatnagar:
Stochastic Recursive Inclusions with Non-Additive Iterate-Dependent Markov Noise.
(Withdrawn) Learning Social Circles in Ego Networks based on Multi-View Social Graphs.
Giovanni Interdonato, Hien Quoc Ngo, Erik G. Larsson, Pål K. Frenger:
How Much Do Downlink Pilots Improve Cell-Free Massive MIMO?
Qi Liao, Daniyal Amir Awan, Slawomir Stanczak:
Joint Optimization of Coverage, Capacity and Load Balancing in Self-Organizing Networks.
Georgia Avarikioti, Ioannis Z. Emiris, Loukas Kavouras, Ioannis Psarros:
High-dimensional approximate r-nets.
Setyaki Sholata Sya, Ary Setijadi Prihatmanto:
Design and implementation of image processing system for Lumen social robot-humanoid as an exhibition guide for Electrical Engineering Days 2015.
Ahmad Syarif, Ary Setijadi Prihatmanto:
Design and implementation of computational platform for social-humanoid robot Lumen as an exhibition guide in Electrical Engineering Days 2015.
Putri Nhirun Rikasofiadewi, Ary Setijadi Prihatmanto:
Design and implementation of audio communication system for social-humanoid robot Lumen as an exhibition guide in Electrical Engineering Days 2015.
Ahmad Hosney Awad Eid:
Optimized Automatic Code Generation for Geometric Algebra Based Algorithms with Ray Tracing Application.
Andrien Ivander Wijaya, Ary Setijadi Prihatmanto, Rifki Wijaya:
Shesop Healthcare: Stress and influenza classification using support vector machine kernel.
Andrien Ivander Wijaya, Ary Setijadi Prihatmanto, Rifki Wijaya:
Shesop Healthcare: Android application to monitor heart rate variance, display influenza and stress condition using Polar H7.
Achraf Ben-Hamadou, Christian Daul, Charles Soussen:
Construction of extended 3D field of views of the internal bladder wall surface: a proof of concept.
Pengzhi Gao, Meng Wang, Joe H. Chow, Scott G. Ghiocel, Bruce Fardanesh, George Stefopoulos, Michael P. Razanousky:
Identification of Successive "Unobservable" Cyber Data Attacks in Power Systems Through Matrix Decomposition.
Florent Foucaud, Ararat Harutyunyan, Pavol Hell, Sylvain Legay, Yannis Manoussakis, Reza Naserasr:
The complexity of tropical graph homomorphisms.
Junwei Liang, Lu Jiang, Deyu Meng, Alexander G. Hauptmann:
Exploiting Multi-modal Curriculum in Noisy Web Data for Large-scale Concept Learning.
Víctor Dalmau, Marcin Kozik, Andrei A. Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Oprsal:
Robust algorithms with polynomial loss for near-unanimity CSPs.
Chonhyon Park, Jae Sung Park, Dinesh Manocha:
Fast and Bounded Probabilistic Collision Detection in Dynamic Environments for High-DOF Trajectory Planning.

Michal Kleinbort, Oren Salzman, Dan Halperin:
Collision detection or nearest-neighbor search? On the computational bottleneck in sampling-based motion planning.
Maziar Raissi, Paris Perdikaris, George E. Karniadakis:
Inferring solutions of differential equations using noisy multi-fidelity data.
Michael Cochez, Stefan Decker, Eric Prud'hommeaux:
Knowledge Representation on the Web revisited: Tools for Prototype Based Ontologies.
James Christopher Foreman, Dheeraj Gurugubelli:
Cyber Attack Surface Analysis of Advanced Metering Infrastructure.
James Christopher Foreman, Rammohan K. Ragade:
Coordinated Optimization at a Hydro Generating Plant by Software Agents.
James Christopher Foreman, Rammohan K. Ragade, James H. Graham:
New Software Metrics for Evaluation and Comparison of Advanced Power Management Systems.
Franklin E. Pacheco, James Christopher Foreman:
Microgrid Reference Methodology for Understanding Utility and Customer Interactions in Microgrid Projects.
Ni Ding, Chung Chan, Qiaoqiao Zhou, Rodney A. Kennedy, Parastoo Sadeghi:
A Faster Algorithm for Asymptotic Communication for Omniscience.
Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu:
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics.
Michael Frank, Michael Codish:
Logic Programming with Graph Automorphism: Integrating naut with Prolog (a Tool Paper).

Anirban Laha, Vikas C. Raykar:
An Empirical Evaluation of various Deep Learning Architectures for Bi-Sequence Classification Tasks.
Aarti Sathyanarayana, Ferda Ofli, Luis Fernández-Luque, Jaideep Srivastava, Ahmed K. Elmagarmid, Teresa Arora, Shahrad Taheri:
Robust Automated Human Activity Recognition and its Application to Sleep Research.
Yan Xu, Yang Li, Mingyuan Liu, Yipei Wang, Yubo Fan, Maode Lai, Eric I-Chao Chang:
Gland Instance Segmentation by Deep Multichannel Neural Networks.
Zhiwen Hu, Zijie Zheng, Tao Wang, Lingyang Song, Xiaoming Li:
Caching as a Service: Small-cell Caching Mechanism Design for Service Providers.
Gunnar Jacobsen, Tianhua Xu, Sergei Popov, Jie Li, Ari T. Friberg, Yimo Zhang:
Phase Noise Influence in Coherent Optical OFDM Systems with RF Pilot Tone: Digital IFFT Multiplexing and FFT Demodulation.
Gunnar Jacobsen, Marisol Lidón, Tianhua Xu, Sergei Popov, Ari T. Friberg, Yimo Zhang:
Influence of Pre- and Post-compensation of Chromatic Dispersion on Equalization Enhanced Phase Noise in Coherent Multilevel Systems.
Shuo Jin, Chengkai Dai, Yang Liu, Charlie C. L. Wang:
Motion Imitation Based on Sparsely Sampled Correspondence.
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc:
On the likelihood of normalisation in combinatory logic.
Vrunda Dave, Shankara Narayanan Krishna, Ashutosh Trivedi:
FO-definable transformations of infinite strings.
Mikkel Abrahamsen, Stephen Alstrup, Jacob Holm, Mathias Bæk Tejs Knudsen, Morten Stöckel:
Near-Optimal Induced Universal Graphs for Bounded Degree Graphs.
Lijie Chen, Ran Duan, Ruosong Wang, Hanrui Zhang:
Improved Algorithms for Maintaining DFS Tree in Undirected Graphs.

Reuben George Stephen, Rui Zhang:
Fronthaul-Limited Uplink OFDMA in Ultra-Dense CRAN with Hybrid Decoding.
Saurabh Prasad, Minshan Cui, Lifeng Yan:
Composite Kernel Local Angular Discriminant Analysis for Multi-Sensor Geospatial Image Analysis.
Kimon Fountoulakis, David F. Gleich, Michael W. Mahoney:
An optimization approach to locally-biased graph algorithms.
Minshan Cui, Saurabh Prasad:
Sparse Representation-Based Classification: Orthogonal Least Squares or Orthogonal Matching Pursuit?
Michael Wojnowicz, Glenn Chisholm, Matt Wolff, Xuan Zhao:
Wavelet decomposition of software entropy reveals symptoms of malicious code.
Seungjun Jung, Hyeongcheol Lee:
Adaptive control for trailing arm suspension with hydraulic cylinder spring under practical constraints.
Huynh Van Luong, Nikos Deligiannis, Søren Forchhammer, André Kaup:
Distributed Coding of Multiview Sparse Sources with Joint Recovery.
Hoang-Long Cao, Pablo Gómez Esteban, Albert De Beir, Ramona Simut, Greet Van de Perre, Bram Vanderborght:
A platform-independent robot control architecture for multiple therapeutic scenarios.


Yauhen Yakimenka, Eirik Rosnes:
On Failing Sets of the Interval-Passing Algorithm for Compressed Sensing.
Johannes Ballé, Valero Laparra, Eero P. Simoncelli:
End-to-end optimization of nonlinear transform codes for perceptual quality.
Johannes Feldmaier, Dominik Meyer, Hao Shen, Klaus Diepold:
Monitoring and Prediction in Smart Energy Systems via Multi-timescale Nexting.
Zhaoyang Zhang, Xianbin Wang, Yu Zhang, Yan Chen:
Grant-free Rateless Multiple Access: A Novel Massive Access Scheme for Internet of Things.
Gabriella Panuccio, Marianna Semprini, Lorenzo Natale, Michela Chiappalone:
Intelligent Biohybrid Neurotechnologies: Are They Really What They Claim?
Musheer Ahmad, Hamed D. Al-Sharari:
Rotation-k Affine-Power-Affine-like Multiple Substitution-Boxes for Secure Communication.
Benjamin Ultan Cowley, Darryl Charles:
Adaptive Artificial Intelligence in Games: Issues, Requirements, and a Solution through Behavlets-based General Player Modelling.
Dominique Boullier:
Big data challenges for the social sciences: from society and opinion to replications.
Pablo Garrido, Daniel E. Lucani, Ramón Agüero:
A Markov Chain Model for the Decoding Probability of Sparse Network Coding.
Shizhan Zhu, Sifei Liu, Chen Change Loy, Xiaoou Tang:
Deep Cascaded Bi-Network for Face Hallucination.
Matthias R. Brust, Mustafa Ilhan Akbas, Damla Turgut:
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems.
P. P. Chougule, Bibhash Sen, Tukaram D. Dongale:
Processing In-memory realization using Quantum Dot Cellular Automata.

Christos Chatzichristos, Eleftherios Kofidis, Giannis Kopsinis, Sergios Theodoridis:
Higher-Order Block Term Decomposition for Spatially Folded fMRI Data.
Gopi Krishna Suvanam:
Functional Augmented State Transfer (FAST) Architecture for Computationally Intensive Network Applications.
Tianhua Xu, Gunnar Jacobsen, Sergei Popov, Jie Li, Sergey Sergeyev, Ari T. Friberg, Tiegen Liu, Yimo Zhang:
Comprehensive study of CD compensation and carrier phase estimation in optical communication systems influenced by equalization enhanced phase noise.
Ionel-Alexandru Hosu, Traian Rebedea:
Playing Atari Games with Deep Reinforcement Learning and Human Checkpoint Replay.
Zichao Yang, Zhiting Hu, Yuntian Deng, Chris Dyer, Alexander J. Smola:
Neural Machine Translation with Recurrent Attention Modeling.
Glencora Borradaile, Erin Wolf Chambers, Kyle Fox, Amir Nayyeri:
Minimum cycle and homology bases of surface embedded graphs.
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco:
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation.
Ruben Becker, Andreas Karrenbauer, Sebastian Krinninger, Christoph Lenzen:
Approximate Undirected Transshipment and Shortest Paths via Gradient Descent.
Linglong Dai, Xinyu Gao, Shuangfeng Han, Chih-Lin I, Xiaodong Wang:
Beamspace Channel Estimation for Millimeter-Wave Massive MIMO Systems with Lens Antenna Array.
Ittai Abraham, Shiri Chechik, Sebastian Krinninger:
Fully dynamic all-pairs shortest paths with worst-case update-time revisited.
Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann:
SBBA: a Strongly-Budget-Balanced Double-Auction Mechanism.
Matthias Gallé, Jean-Michel Renders, Guillaume Jacquet:
Joint Event Detection and Entity Resolution: a Virtuous Cycle.
Marion Revolle, François Cayre, Nicolas Le Bihan:
SALZA: Soft algorithmic complexity estimates for clustering and causality inference.
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg:
Optimal Consistent Network Updates in Polynomial Time.
Jean-Daniel Fekete, Romain Primet:
Progressive Analytics: A Computation Paradigm for Exploratory Data Analysis.
Christian Scheideler, Alexander Setzer, Thim Strothmann:
Towards a Universal Approach for Monotonic Searchability in Self-Stabilizing Overlay Networks.
Roger Piqueras Jover:
LTE security, protocol exploits and location tracking experimentation with low-cost software radio.
Roger K. Moore:
Is spoken language all-or-nothing? Implications for future speech-based human-machine interaction.
(Withdrawn) A Cost-Effective Resource Provisioning Framework using Online Learning in IaaS Clouds.
Oliver Gasser, Quirin Scheitle, Sebastian Gebhard, Georg Carle:
Scanning the IPv6 Internet: Towards a Comprehensive Hitlist.
Ehab Salahat, Saleh R. Al-Araji, Mahmoud Al-Qutayri:
A Novel Hybrid Fast Switching Adaptive No Delay Tanlock Loop Frequency Synthesizer.
Mohammad Havaei, Nicolas Guizard, Nicolas Chapados, Yoshua Bengio:
HeMIS: Hetero-Modal Image Segmentation.
Leonardo A. Duarte, Otávio Augusto Bizetto Penatti, Jurandy Almeida:
Bag of Attributes for Video Event Retrieval.
Dan Hefetz, Fabian Kuhn, Yannic Maus, Angelika Steger:
A Polynomial Lower Bound for Distributed Graph Coloring in a Weak LOCAL Model.

Alberto Pedrouzo-Ulloa, Juan Ramón Troncoso-Pastoriza, Fernando Pérez-González:
Number Theoretic Transforms for Secure Signal Processing.
Alberto Pedrouzo-Ulloa, Juan Ramón Troncoso-Pastoriza, Fernando Pérez-González:
On Ideal Lattices over the Tensor Product of Number Fields and Ring Learning with Errors over Multivariate Rings.
Mohammad Havaei, Nicolas Guizard, Hugo Larochelle, Pierre-Marc Jodoin:
Deep learning trends for focal brain pathology segmentation in MRI.
Ahmed AbdelWahab, Reinhold Kliegl, Niels Landwehr:
A Semiparametric Model for Bayesian Reader Identification.
Harun Yetkin, Collin C. Lutz, Daniel J. Stilwell:
Environmental Information Improves Robotic Search Performance.
Sandra Costa, Alberto Brunete, Byung-Chull Bae, Nikolaos Mavridis:
Emotional Storytelling using Virtual and Robotic Agents.
Ruohan Cao, Tan F. Wong, Tiejun Lv, Hui Gao, Shaoshi Yang:
Detecting Byzantine Attacks Without Clean Reference.
Anastasios K. Papazafeiropoulos, Tharm Ratnarajah:
Downlink MIMO HCNs with Residual Transceiver Hardware Impairments.
Fedor V. Fomin, Fahad Panolan, M. S. Ramanujan, Saket Saurabh:
Fine-grained complexity of integer programming: The case of bounded branch-width and rank.
Eduardo Alchieri, Alysson Bessani, Fabíola Greve, Joni da Silva Fraga:
Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage.
Yinsheng Liu, Geoffrey Ye Li, Wei Han, Zhangdui Zhong:
Low-Complexity Recursive Convolutional Precoding for OFDM-based Large-Scale Antenna System.
Ingo van Duijn, Irina Kostitsyna, Marc J. van Kreveld, Maarten Löffler:
Critical Placements of a Square or Circle amidst Trajectories for Junction Detection.
Evgeny Kharlamov, Yannis Kotidis, Theofilos Mailis, Christian Neuenstadt, Charalampos Nikolaou, Özgür L. Özçep, Christoforos Svingos, Dmitriy Zheleznyakov, Steffen Lamparter, Ian Horrocks, Yannis E. Ioannidis, Ralf Möller:
Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version).
Jey Han Lau, Timothy Baldwin:
An Empirical Evaluation of doc2vec with Practical Insights into Document Embedding Generation.
Weihua Chen, Xiaotang Chen, Jianguo Zhang, Kaiqi Huang:
A Multi-task Deep Network for Person Re-identification.
Hanock Kwak, Byoung-Tak Zhang:
Generating Images Part by Part with Composite Generative Adversarial Networks.
Abhishek Gupta, Yew-Soon Ong:
Genetic Transfer or Population Diversification? Deciphering the Secret Ingredients of Evolutionary Multitask Optimization.
Thanh-Toan Do, Anh-Dzung Doan, Duc Thanh Nguyen, Ngai-Man Cheung:
Binary Hashing with Semidefinite Relaxation and Augmented Lagrangian.
Aaron Roth, Aleksandrs Slivkins, Jonathan Ullman, Zhiwei Steven Wu:
Multidimensional Dynamic Pricing for Welfare Maximization.
Chien-Liang Fok, Fei Sun, Matt Mangum, Aloysius K. Mok, Binghan He, Luis Sentis:
Web Based Teleoperation of a Humanoid Robot.
Will Radford, Matthias Gallé:
Discriminating between similar languages in Twitter using label propagation.
Hokchhay Tann, Soheil Hashemi, R. Iris Bahar, Sherief Reda:
Runtime Configurable Deep Neural Networks for Energy-Accuracy Trade-off.
Ignacio García-Marco, Pascal Koiran, Timothée Pecatte:
Reconstruction Algorithms for Sums of Affine Powers.
Abhijit Adhikari, Shivang Singh, Deepjyoti Mondal, Biswanath Dutta, Animesh Dutta:
A Novel Information Theoretic Framework for Finding Semantic Similarity in WordNet.
Xiaojie Jin, Xiaotong Yuan, Jiashi Feng, Shuicheng Yan:
Training Skinny Deep Neural Networks with Iterative Hard Thresholding Methods.
Michele Polese, Marco Mezzavilla, Michele Zorzi:
Performance Comparison of Dual Connectivity and Hard Handover for LTE-5G Tight Integration.
Changxing Ding, Dacheng Tao:
Trunk-Branch Ensemble Convolutional Neural Networks for Video-based Face Recognition.
Athanasios Kehagias, Georgios Konstantinidis:
Selfish Cops and Passive Robber. Part I: Qualitative Games.
Xiaojie Jin, Yunpeng Chen, Jian Dong, Jiashi Feng, Shuicheng Yan:
Collaborative Layer-wise Discriminative Learning in Deep Neural Networks.
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia:
Beginner's Luck: A Language for Property-Based Generators.
Stephen Gould, Basura Fernando, Anoop Cherian, Peter Anderson, Rodrigo Santa Cruz, Edison Guo:
On Differentiating Parameterized Argmin and Argmax Problems with Application to Bi-level Optimization.
Chunbiao Gan, Haihui Yuan, Shixi Yang, Yimin Ge:
Exponentially Stabilizing Continuous-Time Controllers for multi-domain hybrid systems with application to 3D bipdeal walking.
Mayank Goswami, Rasmus Pagh, Francesco Silvestri, Johan Sivertsen:
Distance Sensitive Bloom Filters Without False Negatives.
Biao He, Xiangyun Zhou, A. Lee Swindlehurst:
On Secrecy Metrics for Physical Layer Security over Quasi-Static Fading Channels.
Qi Liao, Danish Aziz, Slawomir Stanczak:
Dynamic Joint Uplink and Downlink Optimization for Uplink and Downlink Decoupling-Enabled 5G Heterogeneous Networks.

Felix Schmitt, Hans-Joachim Bieg, Dietrich Manstetten, Michael Herman, Rainer Stiefelhagen:
Exact Maximum Entropy Inverse Optimal Control for Modelling Human Attention Switching and Control.
Ignacio García-Marco, Pascal Koiran, Timothée Pecatte, Stéphan Thomassé:
On the complexity of partial derivatives.
Keyou You, Roberto Tempo:
Networked Parallel Algorithms for Robust Convex Optimization via the Scenario Approach.
Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon:
Assessing and Comparing Mutation-based Fault Localization Techniques.
Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtanov, Saket Saurabh:
Spanning Circuits in Regular Matroids.
Muhammad Usman Ghani, Ertunc Erdil, Sumeyra Demir Kanik, Ali Ozgur Argunsah, Anna Felicity Hobbiss, Inbal Israely, Devrim Ünay, Tolga Tasdizen, Müjdat Çetin:
Dendritic Spine Shape Analysis: A Clustering Perspective.

Antoine Amarilli, Silviu Maniu, Mikaël Monet:
Challenges for Efficient Query Evaluation on Structured Probabilistic Data.
Vahid Vahidpour, Amir Rastegarnia, Azam Khalili, Saeid Sanei:
Partial Diffusion Recursive Least-Squares for Distributed Estimation under Noisy Links Condition.
Zheng Chen, Marios Kountouris:
Decentralized Opportunistic Access for D2D Underlaid Cellular Networks.
Ulrike Große, Joachim Gudmundsson, Christian Knauer, Michiel H. M. Smid, Fabian Stehn:
Fast Algorithms for Diameter-Optimally Augmenting Paths and Trees.
Christoph F. Passenberg, Dominik Meyer, Johannes Feldmaier, Hao Shen:
Optimal Water Heater Control in Smart Home Environments.
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency (Extended Version).
Keren Censor-Hillel, Telikepalli Kavitha, Ami Paz, Amir Yehudayoff:
Distributed Construction of Purely Additive Spanners.
Velin Kralev, Radoslava Kraleva, Borislav Yurukov:
An Event Grouping Based Algorithm for University Course Timetabling Problem.
Bruno Clerckx:
Waveform and Transceiver Design for Simultaneous Wireless Information and Power Transfer.
Raj Kumar Pan, Alexander M. Petersen, Fabio Pammolli, Santo Fortunato:
The Memory of Science: Inflation, Myopia, and the Knowledge Network.
Philipp Haller, Alexandre Loiko:
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness.
Jakub Radoszewski, Tatiana A. Starikovskaya:
Streaming k-mismatch with data recovery and applications.
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov:
Set-Consensus Collections are Decidable.
John Augustine, Chen Avin, Mehraneh Liaee, Gopal Pandurangan, Rajmohan Rajaraman:
Information Spreading in Dynamic Networks under Oblivious Adversaries.
Cornelius T. Healy, Rodrigo C. de Lamare:
Design of LDPC Codes using Multipath EMD Strategies and Progressive Edge Growth.
(Withdrawn) A Supervised Authorship Attribution Framework for Bengali Language.
Arman Farhang, Amir Aminjavaheri, Ahmad RezazadehReyhani, Linda E. Doyle, Behrouz Farhang-Boroujeny:
Time Reversal with Post-Equalization for OFDM without CP in Massive MIMO.
Tommy Nilsson, Alan F. Blackwell, Carl Hogsden, David Scruton:
Ghosts! A Location-Based Bluetooth LE Mobile Game for Museum Exploration.
Yuxuan Wang, Pascal Getreuer, Thad Hughes, Richard F. Lyon, Rif A. Saurous:
Trainable Frontend For Robust and Far-Field Keyword Spotting.
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Stochastic Timed Games Revisited.





Gurshaant Malik, Krishna Gupta, Raunak Dharani, K. Madhava Krishna:
FPGA based hybrid architecture for parallelizing RRT.
Martin Derka, Alejandro López-Ortiz, Daniela Maftuleac:
Recognition of Triangulation Duals of Simple Polygons With and Without Holes.
Baichuan Zhang, Murat Dundar, Mohammad Al Hasan:
Bayesian Non-Exhaustive Classification A Case Study: Online Name Disambiguation using Temporal Record Streams.
Mansurul Bhuiyan, Mohammad Al Hasan:
PRIIME: A Generic Framework for Interactive Personalized Interesting Pattern Discovery.
(Withdrawn) A New Bengali Readability Score.
Guanghan Ning, Zhi Zhang, Chen Huang, Zhihai He, Xiaobo Ren, Haohong Wang:
Spatially Supervised Recurrent Convolutional Neural Networks for Visual Object Tracking.
Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut:
Deploying an Information Centric Smart Lighting System in the Wild.
Kashyap Dixit, Sofya Raskhodnikova, Abhradeep Thakurta, Nithin M. Varma:
Erasure-Resilient Property Testing.
Ioana O. Bercea, Volkan Isler, Samir Khuller:
Minimizing Uncertainty through Sensor Placement with Angle Constraints.
Siwei Qiang, Yongkun Wang, Yaohui Jin:
A Local-Global LDA Model for Discovering Geographical Topics from Social Media.
Kun Xiong, Anqi Cui, Zefeng Zhang, Ming Li:
Neural Contextual Conversation Learning with Labeled Question-Answering Pairs.
Emanuel Diamant:
You want to survive the data deluge: Be careful, Computational Intelligence will not serve you as a rescue boat.


Jonathan Gryak, Delaram Kahrobaei:
The Status of Polycyclic Group-Based Cryptography: A Survey and Open Problems.
Ruey-Cheng Chen:
Incremental Learning for Fully Unsupervised Word Segmentation Using Penalized Likelihood and Model Selection.
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva:
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
Guobao Xiao, Hanzi Wang, Yan Yan, David Suter:
Superpixel-based Two-view Deterministic Fitting for Multiple-structure Data.
Jenna Reps, Zhaoyang Guo, Haoyue Zhu, Uwe Aickelin:
Identifying Candidate Risk Factors for Prescription Drug Side Effects using Causal Contrast Set Mining.
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer:
Conditionally Optimal Algorithms for Generalized Büchi Games.
Jiaping Zhao, Chin-Kai Chang, Laurent Itti:
Learning to Recognize Objects by Retaining other Factors of Variation.
Nathan Perchikov:
Asymptotic bounds on the globally optimal positions of orthogonal stiffeners for rectangular plates in elastostatic bending.
Mohammad Khodaei, Panos Papadimitratos:
Evaluating On-demand Pseudonym Acquisition Policies in Vehicular Communication Systems.
Rodrigo Scarpel, Alexandros Ladas, Uwe Aickelin:
Indebted households profiling: a knowledge discovery from database approach.
Mahboobeh Sedighizad, Babak Seyfe:
A Generalized Expression for the Gradient of the Fundamental Information Measures.
Grazziela P. Figueredo, Peer-Olaf Siebers, Uwe Aickelin, Amanda M. Whitbrook, Jonathan M. Garibaldi:
Juxtaposition of System Dynamics and Agent-based Simulation for a Case Study in Immunosenescence.
Grazziela P. Figueredo, Christian Wagner, Jonathan M. Garibaldi, Uwe Aickelin:
Adaptive Data Communication Interface: A User-Centric Visual Data Interpretation Framework.
Ammar Ali Neamah:
New Collisions to Improve Pollard's Rho Method of Solving the Discrete Logarithm Problem on Elliptic Curves.
Jenna Marie Reps, Uwe Aickelin, Richard B. Hubbard:
Refining adverse drug reaction signals by incorporating interaction variables identified using emergent pattern mining.
Jiangang Ma, Le Sun, Hua Wang, Yanchun Zhang, Uwe Aickelin:
Supervised Anomaly Detection in Uncertain Pseudoperiodic Data Streams.
Qi Wu, Damien Teney, Peng Wang, Chunhua Shen, Anthony R. Dick, Anton van den Hengel:
Visual Question Answering: A Survey of Methods and Datasets.
Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Simulating user learning in authoritative technology adoption: An agent based model for council-led smart meter deployment planning in the UK.
Polla Fattah, Uwe Aickelin, Christian Wagner:
Optimising Rule-Based Classification in Temporal Data.
Matej Hoffmann, Nada Bednárová:
The encoding of proprioceptive inputs in the brain: knowns and unknowns from a robotic perspective.
Eduardo Duarte, Pedro Bordonhos, Paulo Dias, Beatriz Sousa Santos:
Living Globe: Tridimensional interactive visualization of world demographic data.
Luca Pappalardo, Filippo Simini:
Modelling individual routines and spatio-temporal trajectories in human mobility.
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre:
Occam's Razor Applied to the Petri Net Coverability Problem.
Chaoyang Jiang, Mustafa K. Masood, Yeng Chai Soh, Hua Li:
Indoor occupancy estimation from carbon dioxide concentration.
Mark Borgerding, Philip Schniter:
Onsager-corrected deep learning for sparse linear inverse problems.
Michael Spranger, Jakob Suchan, Mehul Bhatt:
Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics and Construction Grammar for Spatial Language.
Yun Gu, Guang-Zhong Yang, Jie Yang, Kun Sun:
4D Cardiac Ultrasound Standard Plane Location by Spatial-Temporal Correlation.


Julius, Gopinath Mahale, T. Sumana, C. S. Adityakrishna:
On the Modeling of Error Functions as High Dimensional Landscapes for Weight Initialization in Learning Networks.
Bo Tang, Jun Yan, Steven Kay, Haibo He:
Detection of False Data Injection Attacks in Smart Grid under Colored Gaussian Noise.


Janez Starc, Dunja Mladenic:
Constructing a Natural Language Inference Dataset using Generative Neural Networks.
Jordan M. Malof, Kyle Bradbury, Leslie M. Collins, Richard G. Newell:
Automatic Detection of Solar Photovoltaic Arrays in High Resolution Aerial Imagery.
Wadim Kehl, Fausto Milletari, Federico Tombari, Slobodan Ilic, Nassir Navab:
Deep Learning of Local RGB-D Patches for 3D Object Detection and 6D Pose Estimation.
Vaneet Aggarwal, Tian Lan:
Tail Index for a Distributed Storage System with Pareto File Size Distribution.
Wadim Kehl, Federico Tombari, Nassir Navab, Slobodan Ilic, Vincent Lepetit:
Hashmod: A Hashing Method for Scalable 3D Object Detection.
Mohammad Reza Abbasifard, Omid Isfahani Alamdari:
Fragment Allocation Configuration in Distributed Database Systems.
Eden Chlamtác, Michael Dinitz, Guy Kortsarz, Bundit Laekhanukit:
Approximating Spanners and Directed Steiner Forest: Upper and Lower Bounds.
Mahmood A. Rashid, Sumaiya Iqbal, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar:
Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction.

Spyros Angelopoulos, Marc P. Renault, Pascal Schweitzer:
Stochastic dominance and the bijective ratio of online algorithms.
Boris Aronov, Edward Y. Miller, Micha Sharir:
Eliminating Depth Cycles among Triangles in Three Dimensions.
Faith Ellen, Rati Gelashvili, Nir Shavit, Leqi Zhu:
A Complexity-Based Hierarchy for Multiprocessor Synchronization.
Rafael Reisenhofer, Sebastian Bosse, Gitta Kutyniok, Thomas Wiegand:
A Haar Wavelet-Based Perceptual Similarity Index for Image Quality Assessment.
Lucas Kowalczyk, Tal Malkin, Jonathan Ullman, Mark Zhandry:
Strong Hardness of Privacy from Weak Traitor Tracing.
Amjad Saeed Khan, Ioannis Chatzigeorgiou:
Improved bounds on the decoding failure probability of network coding over multi-source multi-relay networks.
Tatiana Tommasi, Martina Lanzi, Paolo Russo, Barbara Caputo:
Learning the Roots of Visual Domain Shift.
Leonardo Banchi, Nicola Pancotti, Sougato Bose:
Supervised quantum gate "teaching" for quantum hardware design.
Marek Rei, Helen Yannakoudakis:
Compositional Sequence Labeling Models for Error Detection in Learner Writing.
Chirag Jain, Patrick Flick, Tony Pan, Oded Green, Srinivas Aluru:
An Adaptive Parallel Algorithm for Computing Connectivity.
Lunke Fei, Jie Wen, Zheng Zhang, Ke Yan, Zuofeng Zhong:
Local Multiple Directional Pattern of Palmprint Image.
Ei Ando, Shuji Kijima:
An FPTAS for the Volume of a V-polytope - It is Hard to Compute The Volume of The Intersection of Two Cross-polytopes.
Alessandro Pieropan, Mårten Björkman, Niklas Bergström, Danica Kragic:
Feature Descriptors for Tracking by Detection: a Benchmark.
Shiyu Chang, Yang Zhang, Jiliang Tang, Dawei Yin, Yi Chang, Mark A. Hasegawa-Johnson, Thomas S. Huang:
Streaming Recommender Systems.
Christopher M. Roadknight, Durga Suryanarayanan, Uwe Aickelin, John Scholefield, Lindy Durrant:
An ensemble of machine learning and anti-learning methods for predicting tumour patient survival rates.
Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard:
Supervised Adverse Drug Reaction Signalling Framework Imitating Bradford Hill's Causality Considerations.


Kaiye Wang, Qiyue Yin, Wei Wang, Shu Wu, Liang Wang:
A Comprehensive Survey on Cross-modal Retrieval.
Henry Y. T. Ngan, Hideki Kawai, Kazuo Kunieda, Keiji Yamada:
Social Behavior Analysis in Visual Human Monitoring System : A Survey and Perspective.
Shan Huang, Hong Sun, Haijian Zhang, Lei Yu:
Line Spectral Estimation Based on Compressed Sensing with Deterministic Sub-Nyquist Sampling.

Yu Li, Shaodi You, Michael S. Brown, Robby T. Tan:
Haze Visibility Enhancement: A Survey and Quantitative Benchmarking.
Arnaud Dapogny, Kevin Bailly, Séverine Dubuisson:
Dynamic Pose-Robust Facial Expression Recognition by Multi-View Pairwise Conditional Random Forests.
Nima Namvar, Walid Saad, Niloofar Bahadori, Brian Kelley:
Jamming in the Internet of Things: A Game-Theoretic Perspective.
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency.
Alberto Martín-Martín, Juan Manuel Ayllón, Enrique Orduña-Malea, Emilio Delgado López-Cózar:
2016 Google Scholar Metrics released: a matter of languages... and something else.
Loet Leydesdorff, Jordan A. Comins, Aaron A. Sorensen, Lutz Bornmann, Iina Hellsten:
Cited References and Medical Subject Headings (MeSH) as Two Different Knowledge Representations: Clustering and Mappings at the Paper Level.
Alejandro Betancourt, Pietro Morerio, Emilia I. Barakova, Lucio Marcenaro, Matthias Rauterberg, Carlo S. Regazzoni:
Left/Right Hand Segmentation in Egocentric Videos.
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski:
Learning Nominal Automata.
Minxian Xu, Wenhong Tian, Rajkumar Buyya:
A Survey on Load Balancing Algorithms for VM Placement in Cloud Computing.
(Withdrawn) Dataset and Neural Recurrent Sequence Labeling Model for Open-Domain Factoid Question Answering.
Christian Reinbacher, Gottfried Graber, Thomas Pock:
Real-Time Intensity-Image Reconstruction for Event Cameras Using Manifold Regularisation.
Arnaud Dapogny, Kevin Bailly, Séverine Dubuisson:
Confidence-Weighted Local Expression Predictions for Occlusion Handling in Expression Recognition and Action Unit detection.
Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra:
Hierarchical Clustering of Asymmetric Networks.
Janik Jaskolski, Fabian Siegberg, Thomas Tibroni, Philipp Cimiano, Roman Klinger:
Opinion Mining in Online Reviews About Distance Education Programs.
Vadim Stotland, Oded Schwartz, Sivan Toledo:
High-Performance Algorithms for Computing the Sign Function of Triangular Matrices.
Margret Keuper, Siyu Tang, Zhongjie Yu, Bjoern Andres, Thomas Brox, Bernt Schiele:
A Multi-cut Formulation for Joint Segmentation and Tracking of Multiple Objects.
Gergely Ódor:
Hierarchical Manifold Clustering on Diffusion Maps for Connectomics (MIT 18.S096 final project).
Farzad Mahdikhani, Mohammad Reza Abbasifard:
Modeling Software Development Methodologies: A Logic Based Approach.
Antonio San Martín:
La representación de la variación contextual mediante definiciones terminológicas flexibles.
Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Modelling Office Energy Consumption: An Agent Based Approach.
Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra:
Admissible Hierarchical Clustering Methods and Algorithms for Asymmetric Networks.
Gunnar E. Carlsson, Facundo Mémoli, Alejandro Ribeiro, Santiago Segarra:
Excisive Hierarchical Clustering Methods for Network Data.
Peter Franek, Marek Krcál, Hubert Wagner:
Solving equations and optimization problems with uncertainty.
Michele Mancini, Gabriele Costante, Paolo Valigi, Thomas A. Ciarfuglia:
Fast Robust Monocular Depth Estimation for Obstacle Detection with Fully Convolutional Networks.
Anastasios K. Papazafeiropoulos, Hien Quoc Ngo, Tharm Ratnarajah:
Performance of Massive MIMO Uplink with Zero-Forcing receivers under Delayed Channels.
Marc Martínez-Camarena, José Oramas M., Mario Montagud Climent, Tinne Tuytelaars:
Reasoning about Body-Parts Relations for Sign Language Recognition.
Fatema Akbar, Ingmar Weber:
#Sleep_as_Android: Feasibility of Using Sleep Logs on Twitter for Sleep Studies.
Alan Kuntz, Chris Bowen, Ron Alterovitz:
Interleaving Optimization with Sampling-Based Motion Planning (IOS-MP): Combining Local Optimization with Global Exploration.
James Christopher Foreman, Franklin Pacheco:
Aggregation Architecture for Data Reduction and Privacy in Advanced Metering Infrastructure.
Daniel Cullina, Marco Dalai, Yury Polyanskiy:
Rate-distance tradeoff for codes above graph capacity.
Gunnar Jacobsen, Tianhua Xu, Sergei Popov, Sergey Sergeyev, Yimo Zhang:
Phase Noise Influence in Long-range Coherent Optical OFDM Systems with Delay Detection, IFFT Multiplexing and FFT Demodulation.
Julian Straub, Trevor Campbell, Jonathan P. How, John W. Fisher III:
Small-Variance Nonparametric Clustering on the Hypersphere.
Wenhui Li, Yongkang Wong, Anan Liu, Yang Li, Yuting Su, Mohan S. Kankanhalli:
Multi-Camera Action Dataset (MCAD): A Dataset for Studying Non-overlapped Cross-Camera Action Recognition.
Yilin Wang, Suhang Wang, Jiliang Tang, Neil O'Hare, Yi Chang, Baoxin Li:
Hierarchical Attention Network for Action Recognition in Videos.
Federico Passerini, Andrea M. Tonello:
On the Exploitation of Admittance Measurements for Wired Network Topology Derivation.
Moustafa Elhamshary, Anas Basalamah, Moustafa Youssef:
A Fine-grained Indoor Location-based Social Network.
Hazem Ibrahim, Hesham ElSawy, Uyen Trang Nguyen, Mohamed-Slim Alouini:
Mobility-Aware Modeling and Analysis of Dense Cellular Networks with C-plane/U-plane Split Architecture.
Steven Chaplick, Krzysztof Fleszar, Fabian Lipp, Alexander Ravsky, Oleg Verbitsky, Alexander Wolff:
The Complexity of Drawing Graphs on Few Lines and Few Planes.
Hongyao Ma, Reshef Meir, David C. Parkes, James Y. Zou:
Contingent Payment Mechanisms to Maximize Resource Utilization.
Lingxi Xie, Qi Tian, John Flynn, Jingdong Wang, Alan L. Yuille:
Geometric Neural Phrase Pooling: Modeling the Spatial Co-occurrence of Neurons.
Alexander Kott, Stephen Morse:
The Role of PMESII Modeling in a Continuous Cycle of Anticipation and Action.
Tolga Bolukbasi, Kai-Wei Chang, James Y. Zou, Venkatesh Saligrama, Adam Kalai:
Man is to Computer Programmer as Woman is to Homemaker? Debiasing Word Embeddings.
Ali Najdi Al-Shuwaili, Osvaldo Simeone, Alireza Bagheri, Gesualdo Scutari:
Joint Uplink/Downlink Optimization for Backhaul-Limited Mobile Cloud Computing with User Scheduling.
Kuan-Yu Chen, Shih-Hung Liu, Berlin Chen, Hsin-Min Wang, Hsin-Hsi Chen:
Novel Word Embedding and Translation-based Language Modeling for Extractive Speech Summarization.
Noman Akbar, Nan (Jonas) Yang, Parastoo Sadeghi, Rodney A. Kennedy:
User Load Analysis and Pilot Sequence Design for Multi-Cell Massive MIMO Networks.
William S. Song, Vitaliy Gleyzer, Alexei Lomakin, Jeremy Kepner:
Novel Graph Processor Architecture, Prototype System, and Results.
Chansup Byun, Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Antonio Rosa, Charles Yee, Albert Reuther:
LLMapReduce: Multi-Level Map-Reduce for High Performance Data Analysis.
Albert Reuther, Chansup Byun, William Arcand, David Bestor, Bill Bergeron, Matthew Hubbell, Michael Jones, Peter Michaleas, Andrew Prout, Antonio Rosa, Jeremy Kepner:
Scheduler Technologies in Support of High Performance Data Analysis.
Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
Syntax-based Attention Model for Natural Language Inference.
Amol S. Patwardhan, Jacob Badeaux, Siavash, Gerald M. Knapp:
Automated Prediction of Temporal Relations.
Katayoun Rahbar, Mohammad R. Vedady Moghadam, Sanjib Kumar Panda, Thomas Reindl:
Shared Energy Storage Management for Renewable Energy Integration in Smart Grid.
Saman Sarraf, Ghassem Tofighi:
Classification of Alzheimer's Disease Structural MRI Data by Deep Learning Convolutional Neural Networks.
Iris Seidinger, Jens Grubert:
3D Character Customization for Non-Professional Users in Handheld Augmented Reality.
Xuhui Zhang, Kevin B. Korb, Ann E. Nicholson, Steven Mascaro:
Latent Variable Discovery Using Dependency Patterns.
Marius Erbert, Steffen Rechner, Matthias Müller-Hannemann:
Gerbil: A Fast and Memory-Efficient k-mer Counter with GPU-Support.
Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky, Sebastian Weisgerber:
ARTist: The Android Runtime Instrumentation and Security Toolkit.

Jialin Liu, Michael Fairbank, Diego Perez Liebana, Simon M. Lucas:
Optimal resampling for the noisy OneMax problem.
Hendrik Barfuss, Marcel Mueglich, Walter Kellermann:
HRTF-based Robust Least-Squares Frequency-Invariant Polynomial Beamforming.
Begüm Ilke Zilci, Mathias Slawik, Axel Küpper:
Cloud Service Matchmaking using Constraint Programming.
Steven Chaplick, Minati De, Alexander Ravsky, Joachim Spoerhase:
Approximation Schemes for Geometric Coverage Problems.
Nathanael Perraudin, Nicki Holighaus, Piotr Majdak, Péter Balázs:
Audio inpainting with similarity graphs.
Marc Lazareff:
The Python user interface of the elsA CFD software: a coupling framework for external steering layers.
Begüm Ilke Zilci, Mathias Slawik, Axel Küpper:
Cloud Service Matchmaking Approaches: A Systematic Literature Survey.
Grasha Jacob, R. Shenbagavalli, S. Karthika:
Detection of surface defects on ceramic tiles based on morphological techniques.
Mathias Slawik, Begüm Ilke Zilci, Yuri Demchenko, José-Ignacio Aznar-Baranda, Robert Branchat, Charles Loomis, Oleg Lodygensky, Christophe Blanchet:
CYCLONE Unified Deployment and Management of Federated, Multi-Cloud Applications.
Mahdi Boloursaz Mashhadi, Maryam Fallah, Farokh Marvasti:
A New Algorithm for Sparsity Promoting Interpolation of Graph Signals.
Benjamin Elizalde, Anurag Kumar, Ankit Shah, Rohan Badlani, Emmanuel Vincent, Bhiksha Raj, Ian Lane:
Experiments on the DCASE Challenge 2016: Acoustic Scene Classification and Sound Event Detection in Real Life Recording.

Ankit Garg, Leonid Gurvits, Rafael Mendes de Oliveira, Avi Wigderson:
Algorithmic aspects of Brascamp-Lieb inequalities.
Andrea Guazzini, Ayça Saraç, Camillo Donati, Annalisa Nardi, Daniele Vilone, Patrizia Meringolo:
Participation and Privacy perception in virtual environments: the role of sense of community, culture and sex between Italian and Turkish.
Alexandre Blanché, Konrad Kazimierz Dabrowski, Matthew Johnson, Daniël Paulusma:
Colouring on Hereditary Graph Classes Closed under Complementation.

Saeed Manaffam, Alireza Seyedi, Azadeh Vosoughi, Tara Javidi:
Synchronization in Networked Systems with Parameter Mismatch: Adaptive Decentralized and Distributed Controls.
Santosh Tirunagari, Norman Poh, Miroslaw Bober, David Windridge:
Can DMD obtain a Scene Background in Color?
Mahsa Shakeri, Enzo Ferrante, Stavros Tsogkas, Sarah Lippé, Samuel Kadoury, Iasonas Kokkinos, Nikos Paragios:
Prior-based Coregistration and Cosegmentation.
Farideh Ebrahim Rezagah, Shirin Jalali, Elza Erkip, H. Vincent Poor:
Rate-Distortion Dimension of Stochastic Processes.
Shirin Jalali, Michelle Effros, Tracey Ho:
On the Impact of a Single Edge on the Network Coding Capacity.
(Withdrawn) An ensemble learning method for scene classification based on Hidden Markov Model image representation.
Jesse Shore, Jiye Baek, Chrysanthos Dellarocas:
Network structure and patterns of information diversity on Twitter.
Fariborz Taherkhani:
A probabilistic patch based image representation using Conditional Random Field model for image classification.
Fariborz Taherkhani, Mansour Jamzad:
Restoring highly corrupted images by impulse noise using radial basis functions interpolation.
Xinxin Yang, Bo-Chiuan Chen, Mrinmoy Maity, Emilio Ferrara:
Social Politics: Agenda Setting and Political Communication on Social Media.
Yiming Yang, Vladimir Ivan, Zhibin Li, Maurice Fallon, Sethu Vijayakumar:
iDRM: Humanoid Motion Planning with Real-Time End-Pose Selection in Complex Environments.
Jayant Apte, John MacLaren Walsh:
Explicit Polyhedral Bounds on Network Coding Rate Regions via Entropy Function Region: Algorithms, Symmetry, and Computation.
Arash Sarshar, Paul Tranquilli, Brent Pickering, Andrew McCall, Adrian Sandu, Christopher J. Roy:
A Numerical Investigation of Matrix-Free Implicit Time-Stepping Methods for Large CFD Simulations.
Rahul Devassy, Giuseppe Durisi, Benjamin Lindqvist, Wei Yang, Marco Dalai:
Nonasymptotic coding-rate bounds for binary erasure channels with feedback.
Thanh Tran, Madhavi R. Dontham, Jinwook Chung, Kyumin Lee:
How to Succeed in Crowdfunding: a Long-Term Study in Kickstarter.
Adam James Summerville, James Owen Ryan, Michael Mateas, Noah Wardrip-Fruin:
CFGs-2-NLU: Sequence-to-Sequence Learning for Mapping Utterances to Semantics and Pragmatics.
Filip Piekniewski, Patryk A. Laurent, Csaba Petre, Micah Richert, Dimitry Fisher, Todd Hylton:
Unsupervised Learning from Continuous Video in a Scalable Predictive Recurrent Network.
Rodrigo Castaño, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Model Checker Execution Reports.
Robert Brignall, Ho-Jin Choi, Jisu Jeong, Sang-il Oum:
Deciding whether there are infinitely many prime graphs with forbidden induced subgraphs.
Chi Nhan Duong, Khoa Luu, Kha Gia Quach, Tien D. Bui:
Deep Appearance Models: A Deep Boltzmann Machine Approach for Face Modeling.
Tejaswini Ganapathi, David Vining, Roland Bassett, Naveen Garg, Mia K. Markey:
A Human Computer Interaction Solution for Radiology Reporting: Evaluation of the Factors of Variation.
Mohammed Jabi, Etienne Pierre-Doray, Leszek Szczecinski, Mustapha Benjillali:
How to Boost the Throughput of HARQ with Off-the-Shelf Codes.
Gopal Pandurangan, Peter Robinson, Michele Scquizzato:
A Time- and Message-Optimal Distributed Algorithm for Minimum Spanning Trees.
Ali Shemshadi, Quan Z. Sheng, Wei Emma Zhang, Aixin Sun, Yongrui Qin, Lina Yao:
Searching for the Internet of Things on the Web: Where It Is and What It Looks Like.
Brian Ichter, Edward Schmerling, Ali-akbar Agha-mohammadi, Marco Pavone:
Real-Time Stochastic Kinodynamic Motion Planning via Multiobjective Search on GPUs.
Sudarshan Guruacharya, Hina Tabassum, Ekram Hossain:
Analysis of SINR Outage in Large-Scale Cellular Networks Using Campbell's Theorem and Cumulant Generating Functions.
Hao Jan Liu, Wei Shi, Hao Zhu:
Decentralized Dynamic Optimization for Power Network Voltage Control.
Najmeh Miramirkhani, Oleksii Starov, Nick Nikiforakis:
Dial One for Scam: Analyzing and Detecting Technical Support Scams.
Jaroslaw Jankowski, Stanislaw Saganowski, Piotr Bródka:
Evaluation of TRANSFoRm Mobile eHealth Solution for Remote Patient Monitoring during Clinical Trials.
Zhe Jin, Yen-Lung Lai, Andrew Beng Jin Teoh:
Rank Correlation Measure: A Representational Transformation for Biometric Template Protection.
Abbas Mehrabi, Aresh Dadlani, Seungpil Moon, Kiseon Kim:
Profit-aware Online Vehicle-to-Grid Decentralized Scheduling under Multiple Charging Stations.
Valentin Garnero, Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pedro Montealegre, Pawel Rzazewski:
Fixing improper colorings of graphs.
Junya Honda, Hirosuke Yamamoto:
Variable-to-Fixed Length Homophonic Coding with a Modified Shannon-Fano-Elias Code.
Daniel Kroening, Daniel Poetzl, Peter Schrammel, Björn Wachter:
Sound Static Deadlock Analysis for C/Pthreads (Extended Version).
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking and Symbolic Computation.
Vanessa Q. Marinho, Graeme Hirst, Diego R. Amancio:
Authorship attribution via network motifs identification.
Thomas Conway:
On the effects of a centralized computer routing and reservation system on the electric vehicle public charging network.
Brian Paden, Emilio Frazzoli:
A Generalized Label Correcting Method for Optimal Kinodynamic Motion Planning.
Seungryul Beak, Zhiyuan Shi, Masato Kawade, Tae-Kyun Kim:
Kinematic-aware random forest for static and dynamic action recognition from depth sequences.
Bihter Avsar, Danial Esmaeili Aliabadi, Edris Esmaeili Aliabadi, Reza Yousefnezhad:
Academic Presenter: a New Storytelling Presentation Software for Academic Purposes.

James Christopher Foreman:
Architecture for Community-scale Critical Infrastructure Coordination for Security and Resilience.
Xiangyun Zhao, Xiaodan Liang, Luoqi Liu, Teng Li, Nuno Vasconcelos, Shuicheng Yan:
Peak-Piloted Deep Network for Facial Expression Recognition.
Amichai Painsky, Saharon Rosset, Meir Feder:
Large Alphabet Source Coding using Independent Component Analysis.
Abhinav Pachauri, Vikrant More, Pradeep Gaidhani, Nitin Gupta:
Autonomous Ingress of a UAV through a window using Monocular Vision.
Haijun Zhang, Yanjie Dong, Julian Cheng, Md. Jahangir Hossain, Victor C. M. Leung:
Fronthauling for 5G LTE-U Ultra Dense Cloud Small Cell Networks.
Lars Lindemann, Dimos V. Dimarogonas:
Robust Control for Signal Temporal Logic Specifications using Average Space Robustness.
Abhijit Bhattacharya, Anurag Kumar:
Analytical Modeling of IEEE 802.11 Type CSMA/CA Networks with Short Term Unfairness.
Vinu E. V, P. Sreenivasa Kumar:
Redundancy-free Verbalization of Individuals for Ontology Validation.
Liliang Zhang, Liang Lin, Xiaodan Liang, Kaiming He:
Is Faster R-CNN Doing Well for Pedestrian Detection?
Aarti Sathyanarayana, Shafiq R. Joty, Luis Fernández-Luque, Ferda Ofli, Jaideep Srivastava, Ahmed K. Elmagarmid, Shahrad Taheri, Teresa Arora:
Impact of Physical Activity on Sleep: A Deep Learning Based Exploration.
Lei Yu, Houqiang Li, Weiping Li:
Joint Source-Channel Secrecy Using Analog Coding: Towards Secure Source Broadcast.
Jun Liu, Amir Shahroudy, Dong Xu, Gang Wang:
Spatio-Temporal LSTM with Trust Gates for 3D Human Action Recognition.
Loukas Georgiadis, Giuseppe F. Italiano, Nikos Parotsidis:
Incremental 2-Edge-Connectivity in Directed Graphs.
Saba Emrani, Hamid Krim:
Effective Connectivity-Based Neural Decoding: A Causal Interaction-Driven Approach.
Dzmitry Bahdanau, Philemon Brakel, Kelvin Xu, Anirudh Goyal, Ryan Lowe, Joelle Pineau, Aaron C. Courville, Yoshua Bengio:
An Actor-Critic Algorithm for Sequence Prediction.
Mahdi Haghifam, Behrooz Makki, Masoumeh Nasiri-Kenari, Tommy Svensson:
On Wireless Energy and Information Transfer in Relay Networks.
Paul Dütting, Felix A. Fischer, Max Klimm:
Revenue Gaps for Discriminatory and Anonymous Sequential Posted Pricing.
Yuan Gao, Alan L. Yuille:
Exploiting Symmetry and/or Manhattan Properties for 3D Object Structure Estimation from Single and Multiple Images.
Dana Moshkovitz, Govind Ramnarayan, Henry Yuen:
A No-Go Theorem for Derandomized Parallel Repetition: Beyond Feige-Kilian.
Zhaowei Cai, Quanfu Fan, Rogério Schmidt Feris, Nuno Vasconcelos:
A Unified Multi-scale Deep Convolutional Neural Network for Fast Object Detection.
Ersin Esen, Savas Özkan, Ilkay Atil:
Large-Scale Video Search with Efficient Temporal Voting Structure.



José Gómez-Torrecillas, F. J. Lobillo, Gabriel Navarro:
A Sugiyama-like decoding algorithm for convolutional codes.
Yaroslav Ganin, Daniil Kononenko, Diana Sungatullina, Victor S. Lempitsky:
DeepWarp: Photorealistic Image Resynthesis for Gaze Manipulation.
Niki Martinel, Abir Das, Christian Micheloni, Amit K. Roy-Chowdhury:
Temporal Model Adaptation for Person Re-Identification.
Stefano Buzzi, Carmen D'Andrea:
Doubly Massive mmWave MIMO Systems: Using Very Large Antenna Arrays at Both Transmitter and Receiver.
Andrea Guazzini, Elisa Guidi, Cristina Cecchini, Monica Milani, Daniele Vilone, Patrizia Meringolo:
Self-presentation and emotional contagion on Facebook: new experimental measures of profiles' emotional coherence.
Weihua Hu, Hirosuke Yamamoto, Junya Honda:
Worst-case Redundancy of Optimal Binary AIFV Codes and their Extended Codes.
Jörn Hees, Rouven Bauer, Joachim Folz, Damian Borth, Andreas Dengel:
An Evolutionary Algorithm to Learn SPARQL Queries for Source-Target-Pairs: Finding Patterns for Human Associations in DBpedia.
Yuanming Shi, Bamdev Mishra:
Topological Interference Management with User Admission Control via Riemannian Optimization.
Ankush Acharyya, Subhas C. Nandy, Supantha Pandit, Sasanka Roy:
Covering segments with axis-parallel unit squares.
Sirion Vittayakorn, Takayuki Umeda, Kazuhiko Murasaki, Kyoko Sudo, Takayuki Okatani, Kota Yamaguchi:
Automatic Attribute Discovery with Neural Activations.

Anita Dani:
Students' patterns of interaction with a mathematics intelligent tutor: Learning analytics application.

Lluís Castrejón, Yusuf Aytar, Carl Vondrick, Hamed Pirsiavash, Antonio Torralba:
Learning Aligned Cross-Modal Representations from Weakly Aligned Data.
Qinglong Wang, Xue Liu, Jian Du, Fanxin Kong:
Smart Charging for Electric Vehicles: A Survey From the Algorithmic Perspective.
Roberto Henschel, Laura Leal-Taixé, Bodo Rosenhahn, Konrad Schindler:
Tracking with multi-level features.
Ragavendran Gopalakrishnan, Koyel Mukherjee, Theja Tulabandhula:
The Costs and Benefits of Ridesharing: Sequential Individual Rationality and Sequential Fairness.
Majd Hawasly, Florian T. Pokorny, Subramanian Ramamoorthy:
Estimating Activity at Multiple Scales using Spatial Abstractions.
Flavian Vasile, Elena Smirnova, Alexis Conneau:
Meta-Prod2Vec - Product Embeddings Using Side-Information for Recommendation.
Ruthwik R. Junuthula, Kevin S. Xu, Vijay K. Devabhaktuni:
Evaluating Link Prediction Accuracy on Dynamic Networks with Added and Removed Edges.
Birenjith Sasidharan, Myna Vajha, P. Vijay Kumar:
An Explicit, Coupled-Layer Construction of a High-Rate MSR Code with Low Sub-Packetization Level, Small Field Size and All-Node Repair.




Kai Zhang, Chuanren Liu, Jie Zhang, Hui Xiong, Eric P. Xing, Jieping Ye:
Seeing the Forest from the Trees in Two Looks: Matrix Sketching by Cascaded Bilateral Sampling.
Almuatazbellah M. Boker, Hassan K. Khalil:
Semi-global Output Feedback Stabilization of Non-Minimum Phase Nonlinear Systems.
Sebastian Schelter, Jérôme Kunegis:
On the Ubiquity of Web Tracking: Insights from a Billion-Page Web Crawl.
Ankur Handa, Michael Blösch, Viorica Patraucean, Simon Stent, John McCormac, Andrew J. Davison:
gvnn: Neural Network Library for Geometric Computer Vision.
Deovrat Kakde, Sergiy Peredriy, Arin Chaudhuri, Anya McGuirk:
A Non-Parametric Control Chart For High Frequency Multivariate Data.
Sunil Kumar Yadav, Ulrich Reitebuch, Konrad Polthier:
Mesh Denoising based on Normal Voting Tensor and Binary Optimization.
Gunnar A. Sigurdsson, Olga Russakovsky, Ali Farhadi, Ivan Laptev, Abhinav Gupta:
Much Ado About Time: Exhaustive Annotation of Temporal Data.
(Withdrawn) Polynomial Time Algorithm for 2-Stable Clustering Instances.
Yiming Yang, Vladimir Ivan, Wolfgang Merkt, Sethu Vijayakumar:
Scaling Sampling-based Motion Planning to Humanoid Robots.
Liang He, Jia Pan, Dinesh Manocha:
Efficient Multi-Agent Global Navigation Using Interpolating Bridges.
Rasmus Fonseca, Dominik Budday, Henry van den Bedem:
Collision-Free Poisson Motion Planning in Ultra High-Dimensional Molecular Conformation Spaces.
Amit Kleinmann, Avishai Wool:
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems.
Wafaa Taie, Ashraf H. Badawi, Ahmed F. Shalash:
Adaptive Closed Loop OFDM-Based Resource Allocation Method using Machine Learning and Genetic Algorithm.
Rebecca Eynon, Isis Hjorth, Taha Yasseri, Nabeel Gillani:
Understanding Communication Patterns in MOOCs: Combining Data Mining and qualitative methods.

Khashayar Kamran, Edmund Yeh:
Cascading Node Failure with Continuous States in Random Geometric Networks.
George Tsatsanifos:
Verso folio: Diversified Ranking for Large Graphs with Context-Aware Considerations.
Soroush Vosoughi, Prashanth Vijayaraghavan, Deb Roy:
Tweet2Vec: Learning Tweet Embeddings Using Character-level CNN-LSTM Encoder-Decoder.
Jianming Zhang, Shugao Ma, Mehrnoosh Sameki, Stan Sclaroff, Margrit Betke, Zhe Lin, Xiaohui Shen, Brian L. Price, Radomír Mech:
Salient Object Subitizing.
Wei Gao, Xin-Yi Niu, Zhi-Hua Zhou:
On the Consistency of Exact and Approximate Nearest Neighbor with Noisy Data.
Ming-Feng Ge, Zhi-Hong Guan, Chao Yang, Tao Li, Yan-Wu Wang:
Time-varying formation tracking of multiple manipulators via distributed finite-time control.
Raymond A. Yeh, Chen Chen, Teck-Yian Lim, Mark Hasegawa-Johnson, Minh N. Do:
Semantic Image Inpainting with Perceptual and Contextual Losses.
Ming-Feng Ge, Zhi-Hong Guan, Chao Yang, Chao-Yang Chen, Ding-Fu Zheng, Ming Chi:
Task-space coordinated tracking of multiple heterogeneous manipulators via controller-estimator approaches.
Kyung Jun Choi, Kwang Soon Kim:
Latency-Optimal Uplink Scheduling Policy in Training-based Large-Scale Antenna Systems.

Vignesh Prasad, Saurabh Singh, Nahas Pareekutty, Balaraman Ravindran, K. Madhava Krishna:
SLAM-Safe Planner: Preventing Monocular SLAM Failure using Reinforcement Learning.
Michael Spranger, Jakob Suchan, Mehul Bhatt, Manfred Eppe:
Grounding Dynamic Spatial Relations for Embodied (Robot) Interaction.
Niraj Kumar, Premkumar T. Devanbu:
OntoCat: Automatically categorizing knowledge in API Documentation.
Santi Seguí, Michal Drozdzal, Guillem Pascual, Petia Radeva, Carolina Malagelada, Fernando Azpiroz, Jordi Vitrià:
Generic Feature Learning for Wireless Capsule Endoscopy Analysis.
Gianna M. Del Corso, Francesco Romani:
An Adaptive Matrix Factorization Approach for Personalized Recommender Systems.
Marian George, Mandar Dixit, Gábor Zogg, Nuno Vasconcelos:
Semantic Clustering for Robust Fine-Grained Scene Recognition.
Christos Kalaitzis, Ola Svensson, Jakub Tarnawski:
Unrelated Machine Scheduling of Jobs with Uniform Smith Ratios.
Miguel A. Duval-Poo, Nicoletta Noceti, Francesca Odone, Ernesto De Vito:
Scale Invariant Interest Points with Shearlets.
Hamid Reza Rabiee, Javad Haddadnia, Hossein Mousavi, Moin Nabi, Vittorio Murino, Nicu Sebe:
Emotion-Based Crowd Representation for Abnormality Detection.
Florian Meyer, Paolo Braca, Peter Willett, Franz Hlawatsch:
A Scalable Algorithm for Tracking an Unknown Number of Targets Using Multiple Sensors.
Karim Emara, Wolfgang Woerndl, Johann H. Schlichter:
Context-based Pseudonym Changing Scheme for Vehicular Adhoc Networks.
Yoni Kasten, Gil Ben-Artzi, Shmuel Peleg, Michael Werman:
Fundamental Matrices from Moving Objects Using Line Motion Barcodes.
Holger Caesar, Jasper R. R. Uijlings, Vittorio Ferrari:
Region-based semantic segmentation with end-to-end training.
Kittipong Kittichokechai, Rafael F. Schaefer, Giuseppe Caire:
Secret Key Generation Through a Relay.
Yifan Wang, Lijun Wang, Hongyu Wang, Peihua Li:
End-to-End Image Super-Resolution via Deep and Shallow Convolutional Networks.
Itir Önal, Mete Ozay, Fatos Tünay Yarman Vural:
A Hierarchical Multi-resolution Mesh Network for Brain Decoding.
Pudi Raj Bhagath, Kallol Mallick, Jayanta Mukherjee, Sudipta Mukopadhayay:
Low-complexity feedback-channel-free distributed video coding using Local Rank Transform.
Mohammad Hadi, Mohammad Reza Pakravan:
Analysis and Design of Adaptive OCDMA Passive Optical Networks.
Mohammod Abul Kashem, Md. Hanif Seddiqui, Néjib Moalla, Aicha Sekhari, Yacine Ouzrout:
Review on Telemonitoring of Maternal Health care Targeting Medical Cyber-Physical Systems.
Mohammad Hadi, Mohammad Reza Pakravan:
Spectrum-Convertible BVWXC Placement in OFDM-based Elastic Optical Networks.
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Discovering, quantifying, and displaying attacks.
Navid Khoshavi, Mohammad Maghsoudloo, Hamid R. Zarandi:
Leveraging the Potential of Control-Flow Error Resilient Techniques in Multithreaded Programs.
Anthony Michael Barrett, Seth D. Baum:
A Model of Pathways to Artificial Superintelligence Catastrophe for Risk and Decision Analysis.
Ivona Bezáková, Radu Curticapean, Holger Dell, Fedor V. Fomin:
Finding Detours is Fixed-parameter Tractable.
Bilal A. Mateen, Matthias Bussas, Catherine Doogan, Denise Waller, Alessia Saverino, Franz J. Király, E. Diane Playford:
Machine Learning in Falls Prediction; A cognition-based predictor of falls for the acute neurological in-patient population.
Bin Zhao, Yongqiang Guan, Long Wang:
Non-Fragility and Partial Controllability of Multi-Agent Systems.
Sumegha Garg, Henry Yuen, Mark Zhandry:
New security notions and feasibility results for authentication of quantum data.
Qiang Zhu, Fang Ma, Guodong Guo, Dajin Wang, Weisheng Chen:
From Graph Isoperimetric Inequality to Network Connectivity - A New Approach.
Zi Wang, Stefanie Jegelka, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
Focused Model-Learning and Planning for Non-Gaussian Continuous State-Action Systems.
Mason Thammawichai, Eric C. Kerrigan:
Energy-Efficient Real-Time Scheduling for Two-Type Heterogeneous Multiprocessors.
Valentine Charles, Esmé Cowles, Karen Estlund, Antoine Isaac, Tom Johnson, Mark A. Matienzo, Patrick Peiffer, Richard J. Urban, Maarten Zeinstra:
Rightsstatements.org White Paper: Requirements for the Technical Infrastructure for Standardized International Rights Statements.
Behrooz Mahasseni, Sinisa Todorovic, Alan Fern:
Approximate Policy Iteration for Budgeted Semantic Video Segmentation.
Anwar Ul Haq, Hans-Arno Jacobsen:
A Step towards Advanced Metering for the Smart Grid: A Survey of Energy Monitors.
Daria Micaela Hernandez, Mónica Bécue-Bertaut, Igor Barahona:
How scientific literature has been evolving over the time? A novel statistical approach using tracking verbal-based methods.
Dimas Agil Marenda, Ahmad Nasikun, Canggih Puspo Wibowo:
Digitory, A Smart Way of Learning Islamic History in Digital Era.
Mohammed Hassouna, Ali Tarhini, Tariq Elyas, Mohammad Saeed AbouTrab:
Customer Churn in Mobile Markets A Comparison of Techniques.
Hong Sun, Vincenzo De Florio, Chris Blondia:
A Design Tool to Reason about Ambient Assisted Living Systems.
Igor Barahona, Alex Riba, James Freeman:
Influence of personal values and the adoption of analytical tools using laddering methodology.
Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin:
Combined top-down and bottom-up design of cooperative multi-robot systems.
Hiroyuki Endo, Mikio Fujiwara, Mitsuo Kitamura, Toshiyuki Ito, Morio Toyoshima, Yoshihisa Takayama, Hideki Takenaka, Ryosuke Shimizu, Nicola Laurenti, Giuseppe Vallone, Paolo Villoresi, Takao Aoki, Masahide Sasaki:
Free-space optical channel estimation for physical layer security.
Rafael Valle:
ABROA : Audio-Based Room-Occupancy Analysis using Gaussian Mixtures and Hidden Markov Models.
Sai Zhang, Naresh Shanbhag:
Error-Resilient Machine Learning in Near Threshold Voltage via Classifier Ensemble.
Jaume del Olmo, Javier Rodríguez Fonollosa:
Strong Secrecy on a Class of Degraded Broadcast Channels Using Polar Codes.


Stijn Volckaert, Bjorn De Sutter, Koen De Bosschere, Per Larsen:
Multi-Variant Execution of Parallel Programs.
Artur Baruchi, Edson T. Midorikawa, Liria M. Sato, Marco A. S. Netto:
Exploiting Workload Cycles for Orchestration of Virtual Machine Live Migrations in Clouds.
Gokhan Avci, Mustafa Mehuljic, Peter Schüller:
Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions.
Pradipta Ghosh, Raktim Pal, Bhaskar Krishnamachari:
Towards Controllability of Wireless Network Quality using Mobile Robotic Routers.
Laurent Raffaëlli, Frédérique Vallée, Guy Fayolle, Philippe De Souza, Xavier Rouah, Matthieu Pfeiffer, Stéphane Géronimi, Frédéric Pétrot, Samia Ahiad:
Facing ADAS validation complexity with usage oriented testing.
David Miculescu, Sertac Karaman:
Polling-systems-based Autonomous Vehicle Coordination in Traffic Intersections with No Traffic Signals.
Julia Kiseleva, Alexander Tuzhilin, Jaap Kamps, Melanie J. I. Müller, Lucas Bernardi, Chad Davis, Ivan Kovacek, Mats Stafseng Einarsen, Djoerd Hiemstra:
Beyond Movie Recommendations: Solving the Continuous Cold Start Problem in E-commerceRecommendations.
Marek Cygan, Lukasz Kowalik, Arkadiusz Socala, Krzysztof Sornat:
Approximation and Parameterized Complexity of Minimax Approval Voting.
Rachel Wulan Nirmalasari Wijaya, Joe Ryan, Thomas Kalinowski:
H-supermagic labelings for firecrackers, banana trees and flowers.

Ali Ghadirzadeh, Judith Bütepage, Atsuto Maki, Danica Kragic, Mårten Björkman:
A Sensorimotor Reinforcement Learning Framework for Physical Human-Robot Interaction.
Min Yang Lee, Vahab Iranmanesh, Juan C. Quiroz:
A New Approach to SMS Steganography using Mathematical Equations.
Cédric Bentz, Pierre Le Bodic:
A note on "Approximation schemes for a subclass of subset selection problems", and a faster FPTAS for the Minimum Knapsack Problem.
Yuezhang Li, Ronghuo Zheng, Tian Tian, Zhiting Hu, Rahul Iyer, Katia P. Sycara:
Joint Embedding of Hierarchical Categories and Entities for Concept Categorization and Dataless Classification.
Ilia Vovsha, Ansaf Salleb-Aouissi, Anita Raja, Thomas Koch, Alex Rybchuk, Axinia Radeva, Ashwath Rajan, Yiwen Huang, Hatim Diab, Ashish Tomar, Ronald J. Wapner:
Using Kernel Methods and Model Selection for Prediction of Preterm Birth.
Hamid Reza Feyzmahdavian, Bart Besselink, Mikael Johansson:
Stability Analysis of Monotone Systems via Max-separable Lyapunov Functions.
James W. Hennessey, Han Liu, Holger Winnemöller, Mira Dontcheva, Niloy J. Mitra:
How2Sketch: Generating Easy-To-Follow Tutorials for Sketching 3D Objects.
Zhaoyang Lv, Chris Beall, Pablo F. Alcantarilla, Fuxin Li, Zsolt Kira, Frank Dellaert:
A Continuous Optimization Approach for Efficient and Accurate Scene Flow.
Hosein M. Golshan, Adam O. Hebb, Sara J. Hanrahan, Joshua Nedrud, Mohammad H. Mahoor:
A Multiple Kernel Learning Approach for Human Behavioral Task Classification using STN-LFP Signal.
Jiajun Cao, Kapil Arya, Rohan Garg, L. Shawn Matott, Dhabaleswar K. Panda, Hari Subramoni, Jérôme Vienne, Gene Cooperman:
System-level Scalable Checkpoint-Restart for Petascale Computing.
Ferran Adelantado, Xavier Vilajosana, Pere Tuset-Peiró, Borja Martínez, Joan Melià:
Understanding the limits of LoRaWAN.
Dmitry Ulyanov, Andrea Vedaldi, Victor S. Lempitsky:
Instance Normalization: The Missing Ingredient for Fast Stylization.
Shaowei Wang, Liusheng Huang, Pengzhan Wang, Yiwen Nie, Hongli Xu, Wei Yang, Xiang-Yang Li, Chunming Qiao:
Mutual Information Optimally Local Private Discrete Distribution Estimation.
David López-Pérez, Jonathan Ling, Bong-Ho Kim, Subramanian Vasudevan, Satish Kanugovi, Ming Ding:
LWIP and Wi-Fi Boost Link Management.
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm:
Satisfiability Checking meets Symbolic Computation (Project Paper).
Aleksandr I. Panov, Konstantin Yakovlev:
Behavior and path planning for the coalition of cognitive robots in smart relocation tasks.
Di Chen, Mordecai J. Golin:
Minmax Tree Facility Location and Sink Evacuation with Dynamic Confluent Flows.
Christian Bailer, Kiran Varanasi, Didier Stricker:
CNN based Patch Matching for Optical Flow with Thresholded Hinge Loss.
Oleg Verbitsky, Maksim Zhukovskii:
The Descriptive Complexity of Subgraph Isomorphism in the Absence of Order.
Adrian Groza, Calin Cara, Sergiu Zaporojan, Igor Calmicov:
Assisting Drivers During Overtaking Using Car-2-Car Communication and Multi-Agent Systems.
Adrian Groza, Oana Popa:
Mining Arguments from Cancer Documents Using Natural Language Processing and Ontologies.
Adrian Groza, Madalina Mandy Nagy:
Harmonization of conflicting medical opinions using argumentation protocols and textual entailment - a case study on Parkinson disease.
Andrew Currin, Konstantin Korovin, Maria Ababi, Katherine Roper, Douglas B. Kell, Philip J. Day, Ross D. King:
Computing exponentially faster: Implementing a nondeterministic universal Turing machine using DNA.
Maxime Bucher, Stéphane Herbin, Frédéric Jurie:
Improving Semantic Embedding Consistency by Metric Learning for Zero-Shot Classification.
Navid Khoshavi, Xunchao Chen, Jun Wang, Ronald F. DeMara:
Read-Tuned STT-RAM and eDRAM Cache Hierarchies for Throughput and Energy Enhancement.
Suleiman Y. Yerima, Sakir Sezer, Igor Muttik:
Android Malware Detection: an Eigenspace Analysis Approach.
Georg Wiedebach, Sylvain Bertrand, Tingfan Wu, Luca Fiorio, Stephen McCrory, Robert J. Griffin, Francesco Nori, Jerry E. Pratt:
Walking on Partial Footholds Including Line Contacts with the Humanoid Robot Atlas.
Loet Leydesdorff, Inga A. Ivanova:
"Open Innovation" and "Triple Helix" Models of Innovation: Can Synergy in Innovation Systems Be Measured?
Vassilis Giannakopoulos, George Giannakopoulos:
White Paper: Brief overview of current practices for open consultation.
Carlos Leandro, Helder Pita, Luís Monteiro:
The Actias system: supervised multi-strategy learning paradigm using categorical logic.
David Lupien St-Pierre, Jean-Baptiste Hoock, Jialin Liu, Fabien Teytaud, Olivier Teytaud:
Automatically Reinforcing a Game AI.
Feng Yao, Suleiman Y. Yerima, BooJoong Kang, Sakir Sezer:
Event-Driven Implicit Authentication for Mobile Access Control.
Neda Petreska, Hussein Al-Zubaidy, Barbara Staehle, Rudi Knorr, James Gross:
Statistical Delay Bound for WirelessHART Networks.
Steffen Urban, Jens Leitloff, Stefan Hinz:
MLPnP - A Real-Time Maximum Likelihood Solution to the Perspective-n-Point Problem.
Tudor-Dan Rad, Daniel F. Scharler, Hans-Peter Schröcker:
The Kinematic Image of RR, PR, and RP Dyads.
Suleiman Y. Yerima, Gerard P. Parr, Sally I. McClean, Philip J. Morrow, Krishna M. Sivalingam:
Design and Implementation of a Measurement-Based Policy-Driven Resource Management Framework For Converged Networks.
Federica Bogo, Angjoo Kanazawa, Christoph Lassner, Peter V. Gehler, Javier Romero, Michael J. Black:
Keep it SMPL: Automatic Estimation of 3D Human Pose and Shape from a Single Image.
Luis Sanabria-Russo, Boris Bellalta, Nicolò Facchi, Francesco Gringoli:
Collision-free Operation in High Density WLAN Deployments.
Paul Hubbard, Alexander Kott, Michael Martin:
Inducing and Mitigating a Self-Reinforcing Degradation in Decision-making Teams.
BooJoong Kang, Suleiman Y. Yerima, Kieran McLaughlin, Sakir Sezer:
N-opcode Analysis for Android Malware Classification and Categorization.
Mohammed K. Alzaylaee, Suleiman Y. Yerima, Sakir Sezer:
DynaLog: An automated dynamic analysis framework for characterizing Android applications.
Tomasz Marek Kowalski, Szymon Grabowski, Kimmo Fredriksson, Marcin Raniszewski:
Suffix arrays with a twist.
Aleksandr I. Panov, Konstantin Yakovlev:
Psychologically inspired planning method for smart relocation task.
Thanh Long Vu, Spyros Chatzivasileiadis, Hsiao-Dong Chiang, Konstantin Turitsyn:
Structural Emergency Control Paradigm.
Suleiman Y. Yerima, Sakir Sezer, Igor Muttik:
Android Malware Detection Using Parallel Machine Learning Classifiers.
Yehezkel S. Resheff:
Online Trajectory Segmentation and Summary With Applications to Visualization and Retrieval.
Lili Tao, Tilo Burghardt, Majid Mirmehdi, Dima Damen, Ashley Cooper, Sion L. Hannuna, Massimo Camplani, Adeline Paiement, Ian Craddock:
Calorie Counter: RGB-Depth Visual Estimation of Energy Expenditure at Home.
Don J. Torrieri, Salvatore Talarico, Matthew C. Valenti:
Analysis of a Frequency-Hopping Millimeter-Wave Cellular Uplink.
Yanyan Xu, Marta C. Gonzalez:
Collective benefits in traffic during mega events via the use of information technologies.
Cheng Zhang, Hedvig Kjellström, Carl Henrik Ek, Bo C. Bertilson:
Diagnostic Prediction Using Discomfort Drawings with IBTM.
Mohammad Kazem Izadinasab, Amir Homayoun Bahari Sani, Farshad Lahouti, Babak Hassibi:
Robust Causal Transform Coding for LQG Systems with Delay Loss in Communications.

Md. Mostofa Ali Patwary, Nadathur Rajagopalan Satish, Narayanan Sundaram, Jialin Liu, Peter J. Sadowski, Evan Racah, Surendra Byna, Craig Tull, Wahid Bhimji, Prabhat, Pradeep Dubey:
PANDA: Extreme Scale Parallel K-Nearest Neighbor on Distributed Architectures.
Yandong Guo, Lei Zhang, Yuxiao Hu, Xiaodong He, Jianfeng Gao:
MS-Celeb-1M: A Dataset and Benchmark for Large-Scale Face Recognition.
Andrés Arcia-Moret, Arjuna Sathiaseelan, Marco Zennaro, Freddy Rondón, Ermanno Pietrosemoli, David Johnson:
Open and Regionalised Spectrum Repositories for Emerging Countries.
David B. Phillips, Mingjie Sun, Jonathan M. Taylor, Matthew P. Edgar, Stephen M. Barnett, Graham G. Gibson, Miles J. Padgett:
Adaptive foveated single-pixel imaging with dynamic super-sampling.
Pablo Caballero Garces, Albert Banchs, Gustavo de Veciana, Xavier Costa-Pérez:
Multi-Tenant Radio Access Network Slicing: Statistical Multiplexing of Spatial Loads.
Peizun Liu, Thomas Wahl:
Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report).
Christoph Ponikwar, Hans-Joachim Hof, Smriti Gopinath, Lars Wischhof:
Beyond the Dolev-Yao Model: Realistic Application-Specific Attacker Models for Applications Using Vehicular Communication.
Lei Yu, Houqiang Li, Weiping Li:
Comments on "Approximate Characterizations for the Gaussian Source Broadcast Distortion Region".

Ilija Ilievski, Taimoor Akhtar, Jiashi Feng, Christine A. Shoemaker:
Hyperparameter Optimization of Deep Neural Networks Using Non-Probabilistic RBF Surrogate Model.
Kenneth W. Shum, Junyu Chen:
Cooperative Repair of Multiple Node Failures in Distributed Storage Systems.
Nicolas Kourtellis, Gianmarco De Francisci Morales, Albert Bifet, Arinto Murdopo:
VHT: Vertical Hoeffding Tree.
Jiongqian Liang, Srinivasan Parthasarathy:
Robust Contextual Outlier Detection: Where Context Meets Sparsity.
Michael Elkin, Ofer Neiman:
Efficient Algorithms for Constructing Very Sparse Spanners and Emulators.
Paola Bonizzoni, Gianluca Della Vedova, Serena Nicosia, Marco Previtali, Raffaella Rizzi:
A New Lightweight Algorithm to compute the BWT and the LCP array of a Set of Strings.
Nicolas Gutierrez, Manuela Wiesinger-Widi:
AUGURY: A time-series based application for the analysis and forecasting of system and network performance metrics.
Konstantinos Raftopoulos, Marin Ferecatu, Dionyssios D. Sourlas, Stefanos D. Kollias:
Incremental Noising and its Fractal Behavior.
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari:
Automata for Specifying and Orchestrating Service Contracts.
Sebastian Stabinger, Antonio Jose Rodríguez-Sánchez, Justus H. Piater:
25 years of CNNs: Can we compare to human abstraction capabilities?
Michael Golosovsky, Sorin Solomon:
Growing complex network of citations of scientific papers - measurements and modeling.
Christoph Hennersperger, Bernhard Fuerst, Salvatore Virga, Oliver Zettinig, Benjamin Frisch, Thomas Neff, Nassir Navab:
Towards MRI-Based Autonomous Robotic US Acquisitions: A First Feasibility Study.
Rahul Rama Varior, Mrinal Haloi, Gang Wang:
Gated Siamese Convolutional Neural Network Architecture for Human Re-Identification.
Rahul Rama Varior, Bing Shuai, Jiwen Lu, Dong Xu, Gang Wang:
A Siamese Long Short-Term Memory Architecture for Human Re-Identification.
Chuan Qin, Jingwei Li, Patrick P. C. Lee:
The Design and Implementation of a Rekeying-aware Encrypted Deduplication Storage System.
Kedar Kulkarni, Adrish Banerjee:
On Stable Throughput of Cognitive Radio Networks With Cooperating Secondary Users.
Aida Brankovic, Alessandro Falsone, Maria Prandini, Luigi Piroddi:
Randomised Algorithm for Feature Selection and Classification.
Riccardo Longo, Federico Pintore, Giancarlo Rinaldo, Massimiliano Sala:
On the security of the Blockchain Bix Protocol and Certificates.
Michael Wray, Davide Moltisanti, Walterio W. Mayol-Cuevas, Dima Damen:
SEMBED: Semantic Embedding of Egocentric Action Videos.

Stefano Alletto, Giuseppe Serra, Rita Cucchiara:
Video Registration in Egocentric Vision under Day and Night Illumination Changes.
Seong Joon Oh, Rodrigo Benenson, Mario Fritz, Bernt Schiele:
Faceless Person Recognition; Privacy Implications in Social Media.
Aresh Dadlani, Muthukrishnan Senthil Kumar, Kiseon Kim, Faryad Darabi Sahneh:
Transient Analysis of a Resource-limited Recovery Policy for Epidemics: a Retrial Queueing Approach.
Jean-Daniel Boissonnat, Karthik C. S.:
An Efficient Representation for Filtrations of Simplicial Complexes.
Muthukrishnan Senthil Kumar, Aresh Dadlani, Kiseon Kim, Richard O. Afolabi:
Overlay Secondary Spectrum Sharing with Independent Re-attempts in Cognitive Radios.

Jian Zhang, Yuxin Peng, Junchao Zhang:
SSDH: Semi-supervised Deep Hashing for Large Scale Image Retrieval.
David Fajardo-Ortiz, José Ortega-Sánchez-de-Tagle, Víctor M. Castaño:
Hegemonic structure of basic, clinical and patented knowledge on Ebola research: a US army reductionist initiative.
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi:
Mean-Payoff Games on Timed Automata.
(Withdrawn) Early and Late Time Acoustic Measures for Underwater Seismic Airgun Signals In Long-Term Acoustic Data Sets.
Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Compositional Reasoning for Interval Markov Decision Processes.
Manuele Leonelli, Eva Riccomagno, Jim Q. Smith:
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams.
Muhammad Qasim Pasta, Faraz Zaidi, Guy Melançon:
On Varying Topology of Complex Networks and Performance Limitations of Community Detection Algorithms.
Senthilmurugan Sengottuvelan, T. G. Venkatesh:
Optimal Channel Sensing Strategy for Cognitive Radio Networks with Heavy-Tailed Idle Times.
Sokratis Tsakiltsidis, Andriy V. Miranskyy, Elie Mazzawi:
Towards Automated Performance Bug Identification in Python.
Navid Khoshavi, Armin Samiei:
The Study of Transient Faults Propagation in Multithread Applications.
Yue Hu, Jorhabib Eljaik, Kevin Stein, Francesco Nori, Katja D. Mombaur:
Walking of the iCub humanoid robot in different scenarios: implementation and performance analysis.
Maciej Halber, Thomas A. Funkhouser:
Structured Global Registration of RGB-D Scans in Indoor Environments.
Abhishek Agarwal, Arya Mazumdar:
Bounds on the Rate of Linear Locally Repairable Codes over Small Alphabets.
Gernot Riegler, David Ferstl, Matthias Rüther, Horst Bischof:
A Deep Primal-Dual Network for Guided Depth Super-Resolution.
Murat Kuscu, Özgür B. Akan:
On the Capacity of Diffusion-Based Molecular Communications with SiNW FET-Based Receiver.
Elham Shaabani, Hamidreza Alvari, Paulo Shakarian, J. E. Kelly Snyder:
MIST: Missing Person Intelligence Synthesis Toolkit.
Eric Nunes, Ahmad Diab, Andrew Gunn, Ericsson Marin, Vineet Mishra, Vivin Paliath, John Robertson, Jana Shakarian, Amanda Thart, Paulo Shakarian:
Darknet and Deepnet Mining for Proactive Cybersecurity Threat Intelligence.
De-An Huang, Li Fei-Fei, Juan Carlos Niebles:
Connectionist Temporal Modeling for Weakly Supervised Action Labeling.

Amr Suleiman, Zhengdong Zhang, Vivienne Sze:
A 58.6mW Real-Time Programmable Object Detector with Multi-Scale Multi-Object Support Using Deformable Parts Model on 1920x1080 Video at 30fps.
Brahayam Ponton, Alexander Herzog, Stefan Schaal, Ludovic Righetti:
A Convex Model of Momentum Dynamics for Multi-Contact Motion Generation.
Melanie Weber, Emil Saucan, Jürgen Jost:
Characterizing Complex Networks with Forman-Ricci Curvature and Associated Geometric Flows.
Helge Rhodin, Nadia Robertini, Dan Casas, Christian Richardt, Hans-Peter Seidel, Christian Theobalt:
General Automatic Human Shape and Motion Capture Using Volumetric Contour Cues.
Shreyansh Daftry, Sam Zeng, J. Andrew Bagnell, Martial Hebert:
Introspective Perception: Learning to Predict Failures in Vision Systems.
Sinan Aksoy, Tamara G. Kolda, Ali Pinar:
Measuring and Modeling Bipartite Graphs with Community Structure.
Dingming Wu, Christian S. Jensen:
A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters.
Hamidreza Alvari, Paulo Shakarian, J. E. Kelly Snyder:
A Non-Parametric Learning Approach to Identify Online Human Trafficking.
Rui Wang, Hai Zhao, Sabine Ploux, Bao-Liang Lu, Masao Utiyama:
A Novel Bilingual Word Embedding Method for Lexical Translation Using Bilingual Sense Clique.
Rui Wang, Hai Zhao, Bao-Liang Lu, Masao Utiyama, Eiichiro Sumita:
Connecting Phrase based Statistical Machine Translation Adaptation.
Kuang Zhou, Arnaud Martin, Quan Pan:
Semi-supervised evidential label propagation algorithm for graph data.
Samrat Mukhopadhyay, Prateek Vashishtha, Mrityunjoy Chakraborty:
Signal Recovery in Uncorrelated and Correlated Dictionaries Using Orthogonal Least Squares.
Jiazhen He, Rui Zhang, James Bailey, Benjamin I. P. Rubinstein, Sandra Milligan:
TopicResponse: A Marriage of Topic Modelling and Rasch Modelling for Automatic Measurement in MOOCs.
Emmanuel Dupoux:
Cognitive Science in the era of Artificial Intelligence: A roadmap for reverse-engineering the infant language-learner.
Stéphane Caron, Abderrahmane Kheddar:
Multi-contact Walking Pattern Generation based on Model Preview Control of 3D COM Accelerations.
Xiaohang Song, Nithin Babu, Wolfgang Rave, Sudhan Majhi, Gerhard P. Fettweis:
Two-Level Spatial Multiplexing using Hybrid Beamforming Antenna Arrays for mmWave Communications.
Ravi Kiran Sarvadevabhatla, Shiv Surya, Srinivas S. S. Kruthiventi, R. Venkatesh Babu:
SwiDeN : Convolutional Neural Networks For Depiction Invariant Object Recognition.
Roberto Garrido-Pelaz, Lorena González-Manzano, Sergio Pastrana:
Shall we collaborate? A model to analyse the benefits of information sharing.
Gopal Krishna Kamath, Krishna P. Jagannathan, Gaurav Raina:
The reduced classical car-following model: stability analyses and design guidelines.
Gunnar Jacobsen, Leonid G. Kazovsky, Tianhua Xu, Sergei Popov, Jie Li, Yimo Zhang, Ari T. Friberg:
Phase Noise Influence in Optical OFDM Systems employing RF Pilot Tone for Phase Noise Cancellation.
Thomas Kesselheim, Andreas Tönnis:
Submodular Secretary Problems: Cardinality, Matching, and Linear Constraints.
Palakorn Achananuparp, Ingmar Weber:
Extracting Food Substitutes From Food Diary via Distributional Similarity.
Santiago Arroyave-Tobón, Denis Teissandier, Vincent Delos:
Adapting polytopes dimension for managing degrees of freedom in tolerancing analysis.
Sina Sajadmanesh, Hamid R. Rabiee, Ali Khodadadi:
Predicting Anchor Links between Heterogeneous Social Networks.
Peter Anderson, Basura Fernando, Mark Johnson, Stephen Gould:
SPICE: Semantic Propositional Image Caption Evaluation.
Jun Fang, Xingjian Li, Hongbin Li, Feifei Gao:
Low-Rank Covariance-Assisted Downlink Training and Channel Estimation for FDD Massive MIMO Systems.
Shou Qiao, Zhao Huio, Xio Tangue:
Modeling Improved Fuzzy and Sliding-Mode for Single-Phase Inverter as Controllers in an EPS.
Johanne Cohen, Amélie Héliou, Panayotis Mertikopoulos:
Exponentially fast convergence to (strict) equilibrium via hedging.
Christoph Redl:
The DLVHEX System for Knowledge Representation: Recent Advances (System Description).
Randal S. Olson, Jason H. Moore:
Identifying and Harnessing the Building Blocks of Machine Learning Pipelines for Sensible Initialization of a Data Science Automation Tool.
Promita Maitra, Souvick Ghosh, Dipankar Das:
Authorship Verification - An Approach based on Random Forest.
Mengtian Li, Alexander Shekhovtsov, Daniel Huber:
Complexity of Discrete Energy Minimization Problems.
Michela Del Vicario, Antonio Scala, Guido Caldarelli, Harry Eugene Stanley, Walter Quattrociocchi:
Modeling confirmation bias and polarization.

Zhaosong Lu:
Randomized block proximal damped Newton method for composite self-concordant minimization.
Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang:
Deep Learning with Differential Privacy.
Ian Osband, Benjamin Van Roy:
Why is Posterior Sampling Better than Optimism for Reinforcement Learning.
Nick Condry:
Meaningful Models: Utilizing Conceptual Structure to Improve Machine Learning Interpretability.

Molly M. King, Carl T. Bergstrom, Shelley J. Correll, Jennifer Jacquet, Jevin D. West:
Men set their own cites high: Gender and self-citation across fields and over time.
Jianwen Xie, Pamela K. Douglas, Ying Nian Wu, Arthur L. Brody, Ariana E. Anderson:
Decoding the Encoding of Functional Brain Networks: an fMRI Classification Comparison of Non-negative Matrix Factorization (NMF), Independent Component Analysis (ICA), and Sparse Coding Algorithms.
Mikio Fujiwara, Atsushi Waseda, Ryo Nojima, Shiho Moriai, Wakaha Ogata, Masahide Sasaki:
Unbreakable distributed storage with quantum key distribution network and password-authenticated secret sharing.
Simone Scardapane, Danilo Comminiello, Amir Hussain, Aurelio Uncini:
Group Sparse Regularization for Deep Neural Networks.
Yury Maximov, Massih-Reza Amini, Zaïd Harchaoui:
Rademacher Complexity Bounds for a Penalized Multiclass Semi-Supervised Algorithm.
Charbel Sakr, Ameya Patil, Sai Zhang, Naresh Shanbhag:
Understanding the Energy and Precision Requirements for Online Learning.


Artemy Kolchinsky, David H. Wolpert:
Thermodynamic cost due to changing the initial distribution over states.
Eleonora Russo, Daniel Durstewitz:
Cell assemblies at multiple time scales with arbitrary lag distributions.
Yi Xu, Qihang Lin, Tianbao Yang:
Accelerate Stochastic Subgradient Method by Leveraging Local Error Bound.
Michela Del Vicario, Gianna Vivaldo, Alessandro Bessi, Fabiana Zollo, Antonio Scala, Guido Caldarelli, Walter Quattrociocchi:
Echo Chambers: Emotional Contagion and Group Polarization on Facebook.
Xizhe Zhang, Huaizhen Wang, Tianyang Lv:
Efficient target control of complex networks based on preferential matching.
Linyuan Lü, Duanbing Chen, Xiao-Long Ren, Qian-Ming Zhang, Yi-Cheng Zhang, Tao Zhou:
Vital nodes identification in complex networks.
Viresh Patel, Guus Regts:
Deterministic polynomial-time approximation algorithms for partition functions and graph polynomials.
Xiao Wang, Shiqian Ma, Donald Goldfarb, Wei Liu:
Stochastic Quasi-Newton Methods for Nonconvex Stochastic Optimization.
Maria Letizia Bertotti, J. Brunner, Giovanni Modanese:
Innovation diffusion equations on correlated scale-free networks.
Ehsan Taghavi, Dan Song, Ratnasingham Tharmarasa, Thia Kirubarajan, Anne-Claire Boury-Brisset, Bhashyam Balaji:
Object Recognition and Identification Using ESM Data.
Yahel David, Dotan Di Castro, Zohar S. Karnin:
One-Shot Session Recommendation Systems with Combinatorial Items.
Young Woong Park, Diego Klabjan:
An Aggregate and Iterative Disaggregate Algorithm with Proven Optimality in Machine Learning.
Young Woong Park, Yan Jiang, Diego Klabjan, Loren Williams:
Algorithms for Generalized Cluster-wise Linear Regression.
Yingfei Wang, Warren B. Powell:
An optimal learning method for developing personalized treatment regimes.
Nicholas D. Sidiropoulos, Lieven De Lathauwer, Xiao Fu, Kejun Huang, Evangelos E. Papalexakis, Christos Faloutsos:
Tensor Decomposition for Signal Processing and Machine Learning.
Jess Banks, Cristopher Moore, Joe Neeman, Praneeth Netrapalli:
Information-theoretic thresholds for community detection in sparse networks.
Rotem Arnon Friedman, Renato Renner, Thomas Vidick:
Simple and tight device-independent security proofs.
Aleksandar Botev, Guy Lever, David Barber:
Nesterov's Accelerated Gradient and Momentum as approximations to Regularised Update Descent.
Tamal Datta Chaudhuri, Indranil Ghosh:
Artificial Neural Network and Time Series Modeling Based Approach to Forecasting the Exchange Rate in a Multivariate Framework.
Clément Maria, Jonathan Spreer:
A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number.

Alexander Rubchinsky:
Divisive-agglomerative algorithm and complexity of automatic classification problems.
Giona Casiraghi, Vahan Nanumyan, Ingo Scholtes, Frank Schweitzer:
Generalized Hypergeometric Ensembles: Statistical Hypothesis Testing in Complex Networks.
(Withdrawn) Proceedings of the 2016 ICML Workshop on #Data4Good: Machine Learning in Social Good Applications.
Fabio Saracco, Riccardo Di Clemente, Andrea Gabrielli, Tiziano Squartini:
Grandcanonical projection of bipartite networks.
(Withdrawn) Proceedings of the 2016 ICML Workshop on Human Interpretability in Machine Learning (WHI 2016).
Simone Righi, Károly Takács:
The Miracle of Peer Review and Development in Science: An Agent-Based Model.
Andrzej Grabowski, Andrzej Jarynowski:
Influence of temporal aspects and age-correlations on the process of opinion formation based on Polish contact survey.
Xiaoyan Lu, Eyuphan Bulut, Boleslaw K. Szymanski:
Towards Limited Scale-free Topology with Dynamic Peer Participation.
Xingguo Li, Tuo Zhao, Raman Arora, Han Liu, Mingyi Hong:
An Improved Convergence Analysis of Cyclic Block Coordinate Descent-type Methods for Strongly Convex Minimization.
Maria Cruz Varona, Boris Lohmann:
Model reduction of linear time-varying systems with applications for moving loads.
Sourav Chakraborty, Shamik Ghosh, Sanchita Paul, Malay K. Sen:
Characterization and recognition of proper tagged probe interval graphs.
Donglei Fan, Danielle C. Tarraf:
Output Observability of Systems Over Finite Alphabets with Linear Internal Dynamics.
J. Massey Cashore, Lemuel Kumarga, Peter I. Frazier:
Multi-Step Bayesian Optimization for One-Dimensional Feasibility Determination.
Anders Drachen, Eric Thurston Lundquist, Yungjen Kung, Pranav Simha Rao, Diego Klabjan, Rafet Sifa, Julian Runge:
Rapid Prediction of Player Retention in Free-to-Play Mobile Games.
Rajiv Khanna, Joydeep Ghosh, Russell A. Poldrack, Oluwasanmi Koyejo:
Information Projection and Approximate Inference for Structured Sparse Variables.
Martin Burger, Hendrik Dirks, Carola-Bibiane Schönlieb:
A Variational Model for Joint Motion Estimation and Image Reconstruction.

Christian Dansereau, Yassine Benhajali, Céline Risterucci, Emilio Merlo Pich, Pierre Orban, Douglas Arnold, Pierre Bellec:
Statistical power and measurement bias in multisite resting-state fMRI connectivity.

Shogo Mizutaka, Toshihiro Tanizawa:
Robustness analysis of bimodal networks in the whole range of degree correlation.
Ahmed Attia, Azam S. Zavar Moosavi, Adrian Sandu:
Cluster Sampling Filters for Non-Gaussian Data Assimilation.

Hamid Dadkhahi, Nazir Saleheen, Santosh Kumar, Benjamin M. Marlin:
Learning Shallow Detection Cascades for Wearable Sensor-Based Mobile Health Applications.
Choudur Lakshminarayan, Tony Basil:
Feature Extraction and Automated Classification of Heartbeats by Machine Learning.
Nicholas J. Curtis, Kyle E. Niemeyer, Chih-Jen Sung:
An investigation of GPU-based stiff chemical kinetics integration methods.
Johann Rudi, Georg Stadler, Omar Ghattas:
Weighted BFBT Preconditioner for Stokes Flow Problems with Highly Heterogeneous Viscosity.
Serge Lawrencenko, Mikhail N. Vyalyi, L. V. Zgonnik:
Grünbaum coloring and its generalization to arbitrary dimension.

Eman Mahmoud, Ali Takey, Amin Shoukry:
Spectral Clustering for Optical Confirmation and Redshift Estimation of X-ray Selected Galaxy Cluster Candidates in the SDSS Stripe 82.
Peter R. Brune, Matthew G. Knepley, Barry F. Smith, Xuemin Tu:
Composing Scalable Nonlinear Algebraic Solvers.
Faustin Adiceam, Evgeniy Zorin:
On the Minimum of a Positive Definite Quadratic Form over Non-Zero Lattice points. Theory and Applications.
Bo Li, K. Y. Michael Wong:
Optimizing Synchronization Stability of the Kuramoto Model in Complex Networks and Power Grids.
Mathieu Delangle, Jean-François Petiot, Emilie Poirson:
Assessing the differences between numerical methods, CAD evaluations and real experiments for the assessement of reach envelopes of the human body.
Julien Cassaigne, Anna E. Frid, Svetlana Puzynina, Luca Q. Zamboni:
Cost and dimension of words of zero topological entropy.
F. Abdolhosseini, S. Akbari, H. Hashemi, M. S. Moradian:
Hoffmann-Ostenhof's conjecture for traceable cubic graphs.
Kenji Kawaguchi, Yu Maruyama, Xiaoyu Zheng:
Global Continuous Optimization with Error Bound and Fast Convergence.
Loris Cannelli, Francisco Facchinei, Vyacheslav Kungurtsev, Gesualdo Scutari:
Asynchronous Parallel Algorithms for Nonconvex Big-Data Optimization: Model and Convergence.
Zheng Xie, Zonglin Xie, Jianping Li, Miao Li, Dongyun Yi:
A geometric graph model of the coevolution between citations and coauthorships in scientific papers.


Susan A. Murphy, Yanzhen Deng, Eric B. Laber, Hamid Reza Maei, Richard S. Sutton, Katie Witkiewitz:
A Batch, Off-Policy, Actor-Critic Algorithm for Optimizing the Average Reward.
Sk Sazim, Pankaj Agrawal:
Quantum mutual information and quantumness vectors for multi-qubit systems.
Jess Banks, Cristopher Moore, Roman Vershynin, Jiaming Xu:
Information-theoretic bounds and phase transitions in clustering, sparse PCA, and submatrix localization.
Scott Aaronson:
The Complexity of Quantum States and Transformations: From Quantum Money to Black Holes.
Haoyu Qi, Mark M. Wilde, Saikat Guha:
Thermal states minimize the output entropy of single-mode phase-insensitive Gaussian channels with an input entropy constraint.
Christian Krattenthaler, Carsten Schneider:
Evaluation of binomial double sums involving absolute values.
Ming Li, Mao-Bin Hu, Bing-Hong Wang:
Transportation dynamic on coupled networks with limited bandwidth.
Innocent Niyonzima, Christophe Geuzaine, Sebastian Schöps:
Waveform Relaxation for the Computational Homogenization of Multiscale Magnetoquasistatic Problems.
Georgios Darivianakis, Angelos Georghiou, Roy S. Smith, John Lygeros:
The Power of Diversity: Data-Driven Robust Predictive Control for Energy Efficient Buildings and Districts.
Andris Ambainis, Manik Banik, Anubhav Chaturvedi, Dmitry Kravchenko, Ashutosh Rai:
Parity Oblivious d-Level Random Access Codes and Class of Noncontextuality Inequalities.
Birte Schmidtmann, Manuel Torrilhon:
A Hybrid Riemann Solver for Large Hyperbolic Systems of Conservation Laws.
Raúl Isea, Rafael Mayo García:
Mathematical analysis of the spreading of a rumor among different subgroups of spreaders.
Varvara Kollia:
Personalization Effect on Emotion Recognition from Physiological Data: An Investigation of Performance on Different Setups and Classifiers.
Carlos Dafonte, Diego Fustes, Minia Manteiga, Daniel Garabato, Marco Antonio Álvarez, Ana Ulla, C. Allende Prieto:
On the estimation of stellar parameters with uncertainty prediction from Generative Artificial Neural Networks: application to Gaia RVS simulated spectra.
James Edwards, Paul Fearnhead, Kevin D. Glazebrook:
On the Identification and Mitigation of Weaknesses in the Knowledge Gradient Policy for Multi-Armed Bandits.
Zeyuan Allen Zhu, Yuanzhi Li:
Doubly Accelerated Methods for Faster CCA and Generalized Eigendecomposition.
Dong Cheng, Kit Ian Kou:
Generalized Sampling Expansions Associated with Quaternion Fourier Transform.
Julie Moeyersoms, Brian Dalessandro, Foster J. Provost, David Martens:
Explaining Classification Models Built on High-Dimensional Sparse Data.
Philippe Gambette, Leo van Iersel, Steven Kelk, Fabio Pardi, Céline Scornavacca:
Do branch lengths help to locate a tree in a phylogenetic network?
Massil Achab, Emmanuel Bacry, Stéphane Gaïffas, Iacopo Mastromatteo, Jean-François Muzy:
Uncovering Causality from Multivariate Hawkes Integrated Cumulants.
Daniel Monsivais, Kunal Bhattacharya, Asim Ghosh, Kimmo Kaski:
Seasonal and geographical influence on sleeping patterns inferred from mobile phone data.


Cosma Rohilla Shalizi, Edward McFowland III:
Controlling for Latent Homophily in Social Networks through Inferring Latent Locations.
Yang Yang, Omar Lizardo, Dong Wang, Yuxiao Dong, Aaron D. Striegel, David Hachen, Nitesh V. Chawla:
Gender Differences in Communication Behaviors, Spatial Proximity Patterns, and Mobility Habits.
Ernesto Estrada, Grant Silver:
Accounting for the Role of Long Walks on Networks via a New Matrix Function.
Chao Gao, Zongming Ma, Anderson Y. Zhang, Harrison H. Zhou:
Community Detection in Degree-Corrected Block Models.
Weizhong Zhang, Bin Hong, Jieping Ye, Deng Cai, Xiaofei He, Jie Wang:
Scaling Up Sparse Support Vector Machine by Simultaneous Feature and Sample Reduction.
Corentin Briat, Mustafa Khammash:
Robust ergodicity and tracking in antithetic integral control of stochastic biochemical reaction networks.
Shih-Min Hung, Sheng-Liang Hwang, Tzonelih Hwang, Shih-Hung Kao:
Multiparty Quantum Private Comparsion with Individually Dishonest Third Parties for Strangers.

Maria Axenovich, Daniel Gonçalves, Jonathan Rollin, Torsten Ueckerdt:
The k-strong induced arboricity of a graph.
Mathieu Blondel, Akinori Fujino, Naonori Ueda, Masakazu Ishihata:
Higher-Order Factorization Machines.
Carla Mascia, Giancarlo Rinaldo, Massimiliano Sala:
Hilbert quasi-polynomial for order domain codes.
Jianjin Dong, Irene A. Goldthorpe, Nasser Mohieddin Abukhdeir:
Automated quantification of one-dimensional nanostructure alignment on surfaces.
Francesco Silvestri, Gerhard Reinelt, Christoph Schnörr:
Symmetry-free SDP Relaxations for Affine Subspace Clustering.

Shawn Mankad, Shengli Hu, Anandasivam Gopal:
Single Stage Prediction with Online Reviews for Mobile App Development and Management.
Phuoc Nguyen, Truyen Tran, Nilmini Wickramasinghe, Svetha Venkatesh:
Deepr: A Convolutional Net for Medical Records.
Daniela Ferrero, Cyriac Grigorious, Thomas Kalinowski, Joe Ryan, Sudeep Stephen:
Minimum rank and zero forcing number for butterfly networks.
Satoru Tokuda, Kenji Nagata, Masato Okada:
Simultaneous estimation of noise variance and number of peaks in Bayesian spectral deconvolution.
Syuzanna Sargsyan, Steven L. Brunton, J. Nathan Kutz:
Online interpolation point refinement for reduced order models using a genetic algorithm.
Elena-Iulia Apavaloaie, Liviu Onoriu Marian, Elena Lucia Harpa:
Online shopping key features analysis in Mures county.
Ieva Vasiljeva, Ognjen Arandjelovic:
Prediction of future hospital admissions - what is the tradeoff between specificity and accuracy?
Tomas Gavenciak, Przemyslaw Gordinowicz, Vít Jelínek, Pavel Klavík, Jan Kratochvíl:
Cops and Robbers on Intersection Graphs.
Xinyi Zhou, Yong Hu, Yong Deng, Felix T. S. Chan, Alessio Ishizaka:
A DEMATEL-Based Completion Method for Incomplete Pairwise Comparison Matrix in AHP.
Csilla Rudas, Olivér Surányi, Taha Yasseri, János Török:
Understanding and coping with extremism in an online collaborative environment.
Robert Amelard, David A. Clausi, Alexander Wong:
Spatial probabilistic pulsatility model for enhancing photoplethysmographic imaging systems.
Frédéric Dupuis, Serge Fehr, Philippe Lamontagne, Louis Salvail:
Adaptive Versus Non-Adaptive Strategies in the Quantum Setting with Applications.
Charles Ci Wen Lim, Feihu Xu, George Siopsis, Eric Chitambar, Philip G. Evans, Bing Qi:
Loss-tolerant quantum secure positioning with weak laser sources.
Vardan Papyan, Yaniv Romano, Michael Elad:
Convolutional Neural Networks Analyzed via Convolutional Sparse Coding.
Sashank J. Reddi, Suvrit Sra, Barnabás Póczos, Alexander J. Smola:
Stochastic Frank-Wolfe Methods for Nonconvex Optimization.
Bo Tang, Haibo He, Steven Kay:
Adaptive Signal Detection and Parameter Estimation in Unknown Colored Gaussian Noise.


Matthäus Kleindessner, Ulrike von Luxburg:
Kernel functions based on triplet similarity comparisons.
Friederike Laus, Johannes Persch, Gabriele Steidl:
A Nonlocal Denoising Algorithm for Manifold-Valued Images Using Second Order Statistics.
Fang Liu:
Noninformative Bounding in Differential Privacy and Its Impact on Statistical Properties of Sanitized Results in Truncated and Boundary-Inflated-Truncated Laplace Mechanisms.
Guilherme de Guzzi Bagnato, José Ricardo Furlan Ronqui, Gonzalo Travieso:
Efficient modularity optimization by self-avoiding walk.
Uttam Bhat, Munik Shrestha, Laurent Hébert-Dufresne:
Exotic phase transitions of k-cores in clustered networks.
Hanming Zhang, Liang Li, Kai Qiao, Linyuan Wang, Bin Yan, Lei Li, Guoen Hu:
Image Prediction for Limited-angle Tomography via Deep Learning with Convolutional Neural Network.
Mirko Signorelli, Ernst C. Wit:
A penalized inference approach to stochastic blockmodelling of community structure in the Italian Parliament.
Arie Koster, Robert Schweidweiler, Martin Tieves:
A flow based pruning scheme for enumerative equitable coloring algorithms.
Mathieu Blondel, Masakazu Ishihata, Akinori Fujino, Naonori Ueda:
Polynomial Networks and Factorization Machines: New Insights and Efficient Training Algorithms.
Ernesto Estrada, Alhanouf Ali Alhomaidhi, Fawzi Al-Thukair:
Exploring the "Middle Earth" of Network Spectra via a Gaussian Matrix Function.
Gilles Ferrand, Jayanne English, Pourang Irani:
3D visualization of astronomy data cubes using immersive displays.
Enrico Ubaldi, Alessandro Vezzani, Márton Karsai, Nicola Perra, Raffaella Burioni:
Burstiness and tie reinforcement in time varying social networks.
Earl P. Bellinger, George C. Angelou, Saskia Hekker, Sarbani Basu, Warrick Ball, Elisabeth Guggenberger:
Fundamental Parameters of Main-Sequence Stars in an Instant with Machine Learning.
Zhi-Cheng Yang, Armin Rahmani, Alireza Shabani, Hartmut Neven, Claudio Chamon:
Optimizing Variational Quantum Algorithms using Pontryagin's Minimum Principle.




Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
